Monday, January 20, 2020

Pinaka: Fast & accurate software verifier, developed at IIT Hyderabad

IITH team at SVCOMP 2020


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.

No comments:

Post a Comment

Have a Say?..Note it down below.

Featured Posts

Top Searches from “IEEE Xplore Digital Library" - 13th September 2024

  The Learning and Information Resource Centre is pleased to inform you about the Top Searches from  "  IEEE   Xplore   Digital Library...