Counterexample-guided abstraction renement (2000)

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