Orna Grumberg, Somesh Jha, Yuan Lu, and Helmut Veith. Counterexample-guided abstraction refinement (2000)

by Edmund M Clarke
Venue:In CAV’00: Computer Aided Verification