Edmund M. Clarke

Model checking and abstraction

Edmund M. Clarke, Orna Grümberg, David E. Long · ACM Transactions on Programming Languages and Systems · 1994 · 1.2K citations · Full text

Computing, Computer Engineering, Computer Science +14

Counterexample-guided abstraction refinement for symbolic model checking

Edmund M. Clarke, Orna Grümberg, Somesh Jha et al. · Journal of the ACM · 2003 · 991 citations

Computing, Computer Engineering, Computer Science +13

NUSMV: a new symbolic model checker

Alessandro Cimatti, Edmund M. Clarke, Fausto Giunchiglia et al. · International Journal on Software Tools for Technology Transfer · 2000 · 716 citations

Computing, Computer Engineering, Computer Science +9

Bounded Model Checking Using Satisfiability Solving

Edmund M. Clarke, Armin Biere, Richard Raimi et al. · Formal Methods in System Design · 2001 · 679 citations

Computing, Computer Science, Formal Methods +8

Using branching time temporal logic to synthesize synchronization skeletons

E. Allen Emerson, Edmund M. Clarke · Science of Computer Programming · 1982 · 662 citations

Computing, Computer Engineering, Computer Science +14