Efficient SAT-based Bounded Model Checking for Software Verification.

Pranav Ashar, Malay K. Ganai, Aarti Gupta, Franjo Ivancic, Zijiang Yang

Browse the full ISoLA paper archive.