Counterexample-guided Abstraction Refinement (2000)

by E M Clarke, O Grumberg, S Jha, Y Lu, H Veith
Venue:Proc. 12th Int. Conf. Computer-Aided Verification, LNCS 1855