#SVCOMP - Twitter Hashtag

over 5 years ago

Kudos to everybody how has been recording video lectures during the last year ... I needed 10 shots🤦 to make an only 5 min presentation about our tool #SVCOMP #TACAS #ETAPS

0

4

0

Hernan Ponce De Leon @h_poncedeleon

over 5 years ago

I have done my part ... Many new SMT benchmarks generated by our Dartagnan tool from the #SVCOMP benchmarks

1

3

0

Hernan Ponce De Leon @h_poncedeleon

over 5 years ago

Compiler optimisations and encodings precision. How much do they influence software verification? (lessons from #SVCOMP 2021) https://t.co/8T3Qv8H0hx

0

3

0

2

0

IIT Hyderabad

@IITHyderabad

almost 6 years ago

#MomentofPride #IITHyderabad congratulates Team #Pinaka, Dr. Saurabh along with his students Akash & Eti for receiving recognition at #SVCOMP for the 3rd consecutive time. This symbolic execution engine, designed and developed is the fastest & accurate software program Verifier.

IITHyderabad's tweet photo. #MomentofPride #IITHyderabad congratulates Team #Pinaka, Dr. Saurabh along with his students Akash & Eti for receiving recognition at #SVCOMP for the 3rd consecutive time. This symbolic execution engine, designed and developed is the fastest & accurate software program Verifier. https://t.co/95x2jLLk4v

0

11

1

0

Hernan Ponce De Leon @h_poncedeleon

almost 6 years ago

#SVCOMP 2021 results are out! https://t.co/sr7mOZfWvp It is the second year our Dartagnan tool participates in the concurrency reachability category. This year we ranked 7/11 (better than 8/9 in 2020).

1

3

0

1

0

Hernan Ponce De Leon @h_poncedeleon

almost 6 years ago

Good luck to all the teams participating in #SVCOMP 2021 😁

0

2

0

Hernan Ponce De Leon @h_poncedeleon

about 6 years ago

I just found and fix 24 data races in the #SVCOMP benchmarks; all of them automatically detected by the Dartagnan tool: https://t.co/Hhy3j5hDQF

0

4

0

Hernan Ponce De Leon @h_poncedeleon

about 6 years ago

It is kind of "folklore" for the verification community that the theory of integers has better performance than the one of bit-vectors (performance vs precision). Guess what? I implement bit-precision in my model checker and the performance in the #SVCOMP benchmarks improved