IITH team at SVCOMP 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.
