Counterexample-guided Abstraction Refinement (2000)

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