Counterexample-guided Abstraction Refinement (2000)

by Edmund Clarke , Orna Grumberg , Somesh Jha , Yuan Lu , Helmut Veith
Citations:806 - 67 self

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 –Edmund Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith — 2000
Counterexample-guided abstraction refinement –E. Clarke, O. Grumberg, S. Jha, Y. Lu, H. Veith — 2000 — IN COMPUTER AIDED VERIFICATION