Counterexample-Guided Abstraction Refinement (2000)

by E M Clarke, O Grumberg, S Jha, Y Lu, H Veith
Venue:In Computer Aided Verification, LNCS 1855