Edmund Clarke
Edmund Clarke
University Professor Emeritus at Carnegie Mellon University
Dirección de correo verificada de cs.cmu.edu - Página principal
Título
Citado por
Citado por
Año
Model checking
EM Clarke Jr, O Grumberg, D Kroening, D Peled, H Veith
MIT press, 2018
134742018
Automatic verification of finite-state concurrent systems using temporal logic specifications
EM Clarke, EA Emerson, AP Sistla
ACM Transactions on Programming Languages and Systems (TOPLAS) 8 (2), 244-263, 1986
51541986
Design and synthesis of synchronization skeletons using branching time temporal logic
EM Clarke, EA Emerson
Workshop on Logic of Programs, 52-71, 1981
41531981
Symbolic model checking: 1020 states and beyond
JR Burch, EM Clarke, KL McMillan, DL Dill, LJ Hwang
Information and computation 98 (2), 142-170, 1992
40181992
Symbolic model checking without BDDs
A Biere, A Cimatti, E Clarke, Y Zhu
International conference on tools and algorithms for the construction and …, 1999
27461999
Model checking and abstraction
EM Clarke, O Grumberg, DE Long
ACM transactions on Programming Languages and Systems (TOPLAS) 16 (5), 1512-1542, 1994
20731994
Counterexample-guided abstraction refinement
E Clarke, O Grumberg, S Jha, Y Lu, H Veith
International Conference on Computer Aided Verification, 154-169, 2000
20372000
Nusmv 2: An opensource tool for symbolic model checking
A Cimatti, E Clarke, E Giunchiglia, F Giunchiglia, M Pistore, M Roveri, ...
International Conference on Computer Aided Verification, 359-364, 2002
19772002
Formal methods: State of the art and future directions
EM Clarke, JM Wing
ACM Computing Surveys (CSUR) 28 (4), 626-643, 1996
18821996
A tool for checking ANSI-C programs
E Clarke, D Kroening, F Lerda
International Conference on Tools and Algorithms for the Construction and …, 2004
14432004
The complexity of propositional linear temporal logics
AP Sistla, EM Clarke
Journal of the ACM (JACM) 32 (3), 733-749, 1985
14211985
Counterexample-guided abstraction refinement for symbolic model checking
E Clarke, O Grumberg, S Jha, Y Lu, H Veith
Journal of the ACM (JACM) 50 (5), 752-794, 2003
9902003
Bounded model checking.
A Biere, A Cimatti, EM Clarke, O Strichman, Y Zhu
Advances in computers 58 (11), 117-148, 2003
9882003
Using branching time temporal logic to synthesize synchronization skeletons
EA Emerson, EM Clarke
Science of Computer programming 2 (3), 241-266, 1982
9271982
Symbolic model checking using SAT procedures instead of BDDs
A Biere, A Cimatti, EM Clarke, M Fujita, Y Zhu
Proceedings of the 36th annual ACM/IEEE Design Automation Conference, 317-320, 1999
9171999
Bounded model checking using satisfiability solving
E Clarke, A Biere, R Raimi, Y Zhu
Formal methods in system design 19 (1), 7-34, 2001
8122001
Symbolic model checking for sequential circuit verification
JR Burch, EM Clarke, DE Long, KL McMillan, DL Dill
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 1994
8101994
NuSMV: A new symbolic model verifier
A Cimatti, E Clarke, F Giunchiglia, M Roveri
International conference on computer aided verification, 495-499, 1999
8071999
NuSMV: a new symbolic model checker
A Cimatti, E Clarke, F Giunchiglia, M Roveri
International Journal on Software Tools for Technology Transfer 2 (4), 410-425, 2000
7442000
Sequential circuit verification using symbolic model checking
JR Burch, EM Clarke, KL McMillan, DL Dill
27th ACM/IEEE Design Automation Conference, 46-51, 1990
6691990
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20