Counterexample-guided abstraction refinement

Edmund M. Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith
[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer]

Computer Aided Verification
Springer Berlin Heidelberg
Berlin, Heidelberg
Pages 154-169
2000
Note(s): CEGAR

CEGAR (Counter-Example Guided Abstraction Refinement)