Edmund M. Clarke

1. Counterexample-guided abstraction refinement for symbolic model checking
   2003/09/01 by Edmund Clarke, Edmund M. Clarke, Orna Grümberg +4 · 50 citations
   Computer Science · Engineering · #Formal Methods in Verification #Software Testing and Debugging Techniques #Radiation Effects in Electronics
2. Delta-Complete Decision Procedures for Satisfiability over the Reals
   2012/04/16 by Sicun Gao, Jeremy Avigad, Gao, Sicun +3 · 2 citations
   Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Petri Nets in System Modeling #Symbolic Computation (cs.SC)
3. Proof Generation from Delta-Decisions
   2014/09/23 by Sicun Gao, Soonho Kong, Gao, Sicun +3 · 1 citation
   Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems