Counterexampleguided abstraction refinement for symbolic model checking,” (2003)

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