Bounded model checking (2003)

by Armin Biere, Alessandro Cimatti, Edmund M Clarke, Ofer Strichman, Yunshan Zhu
Venue:Advances in computers, 58:117–148