Concepedia

E. Clarke

EC

Statistics

Publications

2

Citations

134

H-Index

2

Active since

2004

Affiliations

Carnegie Mellon University(Current)

E. Clarke is an author at Carnegie Mellon University specializing in program analysis, verification, and formal methods.

Top concepts

Publications per year

2004–2004

2

Publications

2

SAT-Based Counterexample-Guided Abstraction Refinement

E. Clarke, Aarti Gupta, Ofer Strichman · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2004 · 78 citations

, , +14

Counterexample-guided abstraction refinement

E. Clarke · 2004 · 56 citations

, , +17

1–2 of 2