Bounded model checking using satisfiability solving. (2001)

by E M Clarke, A Bierea, R Raimi, Y Zhu
Venue:Formal Methods in System Design,