vix.ing · top · new · best · stats · spec

Orna Grumberg

  1. Counterexample-guided abstraction refinement for symbolic model checking
    2003/09/01 by Edmund Clarke, Edmund M. Clarke, Orna Grumberg +4 · 39 citations
    Computer Science · Engineering · #Formal Methods in Verification #Software Testing and Debugging Techniques #Radiation Effects in Electronics