Bounded model checking. (2003)

by A Biere, A Cimatti, E M Clarke, O Strichman, Y Zhu
Venue:Advances in Computers,