IITH team at SVCOMP 2020
Jan 7, 2020
-
Relations
Press Releases Newsletter JICA Friendship Program Public Relations Alumni and Corporate Relations International Relations
- About
About IITH IITH Brochure How to Reach Campus Navigation Sustainability Rankings & Reports Administration- People
Jan 7, 2020
SVCOMP is a Software Verification Competition which is the ultimate battleground for researchers around the world to prove the mettle of their verifiers on more than 10000 benchmark programs.
Pinaka, a symbolic execution engine designed and developed at IITH by Akash Banerjee, Eti Chaudhary and Dr. Saurabh Joshi participated in SVCOMP and placed 3rd in ReachSafety-Floats subcategory, 8th in ReachSafety category and 6th in Termination category. Pinaka was also one of the most accurate verifiers with only 3 errors in more than 6500 benchmarks it was run on.
More Details: https://sv-comp.sosy-lab.org/2020/
- About