Efficient SAT-based Bounded Model Checking for Software Verification

Pranav Ashar
Malay K. Ganai
Aarti Gupta
Zijiang Yang
ISoLA (Preliminary proceedings) (2004), pp. 157-164

Abstract