Counterexampleguided Abstraction Refinement for Symbolic Model Checking (0)

by E Clarke, O Grumberg, S Jha, Y Lu, H Veith
Venue:Journal of the ACM