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
Springer Berlin Heidelberg
Berlin, Heidelberg
Pages 154-169
2000
Note(s): CEGAR