Counterexample-guided abstraction re (0)

by E Clarke, O Grumberg, S Jha, Y Lu, H Veith
Venue:In CAV 00: Computer-Aided Veri Lecture Notes in Computer Science 1855