Efficient SAT-based bounded model checking for software verification (2004)

by Pranav Ashar, Malay Ganai, Aarti Gupta, Franjo Ivancic, Zijiang Yang
Venue:In 1st International Symposium on Leveraging Applications of Formal Methods, ISOLA