Counterexample-guided Abstraction Refinement (2000)

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