Counterexample-guided abstraction refinement for symbolic model checking (0)

by E M Clarke, O Grumberg, S Jha, Y Lu, H Veith
Venue:J. ACM