Document Versions

Counterexample-guided Abstraction Refinement –Edmund Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith — 2000
Counterexample-guided Abstraction Refinement –Edmund M. Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith — 2000
Counterexample-Guided Abstraction Refinement for Symbolic Model Checking –Edmund Clarke, Yuan Lu, Orna Grumberg, Somesh Jha, Helmuth Veith — 2003
Counterexample-guided abstraction refinement –E. Clarke, O. Grumberg, S. Jha, Y. Lu, H. Veith — 2000 — IN COMPUTER AIDED VERIFICATION