Counterexample-guided Abstraction Refinement (2000)

by Edmund Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith