Counterexample-guided abstraction refinement (0)

by E M Clarke, O Grumberg, S Jha, Y Lu, H Veith
Venue:in Proceedings of Conference on Computer Aided Verification