( en | de | ru )

 

Disambiguation of "Clarke, Edmund M."

Author of the publication

copydeleteadd this publication to your clipboard
Model Checking: Software and Beyond.

, and . J. Univers. Comput. Sci., 13 (5): 639-649 (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

James Clarke

Anneliese Clarke

Barbara Clarke

Constanze Clarke

Brian Clarke

 

Other publications of authors with the same name

Multiple State and Single State Tableaux for Combining Local and Global Model Checking., , and . Correct System Design, volume 1710 of Lecture Notes in Computer Science, page 163-179. Springer, (1999)SAT-Based Counterexample Guided Abstraction Refinement.. SPIN, volume 2318 of Lecture Notes in Computer Science, page 1. Springer, (2002)ProbVerus: Probabilistic Symbolic Model Checking., , and . ARTS, volume 1601 of Lecture Notes in Computer Science, page 96-110. Springer, (1999)Automatic Verification of Asynchronous Circuits., and . Logic of Programs, volume 164 of Lecture Notes in Computer Science, page 101-115. Springer, (1983)A Tool for Checking ANSI-C Programs., , and . TACAS, volume 2988 of Lecture Notes in Computer Science, page 168-176. Springer, (2004)The Verus Tool: A Quantitative Approach to the Formal Verification of Real-Time Systems., , and . CAV, volume 1254 of Lecture Notes in Computer Science, page 452-455. Springer, (1997)A Unified Approach For Showing Language Containment And Equivalence Between Various Types Of Omega-Automata., , and . CAAP, volume 431 of Lecture Notes in Computer Science, page 103-116. Springer, (1990)Combining Symbolic Model Checking with Uninterpreted Functions for Out-of-Order Processor Verification., , , and . FMCAD, volume 1522 of Lecture Notes in Computer Science, page 369-386. Springer, (1998)Model Checking - My 27-Year Quest to Overcome the State Explosion Problem.. LPAR, volume 5330 of Lecture Notes in Computer Science, page 182. Springer, (2008)Escher - a geometrical layout system for recursively defined circuits., and . DAC, page 650-653. IEEE Computer Society Press, (1986)