Author of the publication

Efficient Verification of Sequential and Concurrent C Programs.

, , , , , and . Formal Methods Syst. Des., 25 (2-3): 129-166 (2004)

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.

 

Other publications of authors with the same name

Sequential Circuit Verification Using Symbolic Model Checking., , , and . DAC, page 46-51. IEEE Computer Society Press, (1990)Satisfiability Checking of Non-clausal Formulas Using General Matings., , and . SAT, volume 4121 of Lecture Notes in Computer Science, page 75-89. Springer, (2006)Automated Assume-Guarantee Reasoning for Simulation Conformance., , , and . CAV, volume 3576 of Lecture Notes in Computer Science, page 534-547. Springer, (2005)Another Look at LTL Model Checking., , and . CAV, volume 818 of Lecture Notes in Computer Science, page 415-427. Springer, (1994)Symbolic Model Checking., , , and . CAV, volume 1102 of Lecture Notes in Computer Science, page 419-427. Springer, (1996)SAT-Based Counterexample Guided Abstraction Refinement in Model Checking.. CADE, volume 2741 of Lecture Notes in Computer Science, page 1. Springer, (2003)Analog circuit verification by statistical model checking., , , and . ASP-DAC, page 1-6. IEEE, (2011)Word Level Model Checking (Abstract)., and . MFCS, volume 1113 of Lecture Notes in Computer Science, page 1. Springer, (1996)Analytica - A Theorem Prover in Mathematica., and . CADE, volume 607 of Lecture Notes in Computer Science, page 761-765. Springer, (1992)Spectral Transforms for Large Boolean Functions with Applications to Technology Mapping., , , , and . DAC, page 54-60. ACM Press, (1993)