Software Model Checking: Publications

A Survey of Automated Techniques for Formal Software Verification

Vijay D'Silva‚ Daniel Kroening and Georg Weissenbacher

In IEEE Transactions on Computer−Aided Design of Integrated Circuits and Systems (TCAD). Vol. 27. No. 7. Pages 1165−1178. July, 2008.

Details about A Survey of Automated Techniques for Formal Software Verification | BibTeX data for A Survey of Automated Techniques for Formal Software Verification | DOI (10.1109/TCAD.2008.923410) | Link to A Survey of Automated Techniques for Formal Software Verification

Decision Procedures – an Algorithmic Point of View

Daniel Kroening and Ofer Strichman

Springer. 2008.

To appear

Details about Decision Procedures – an Algorithmic Point of View | BibTeX data for Decision Procedures – an Algorithmic Point of View

Verification of Boolean Programs with Unbounded Thread Creation

Byron Cook‚ Daniel Kroening and Natasha Sharygina

In Theoretical Computer Science (TCS). Vol. 388. Pages 227–242. 2007.

Details about Verification of Boolean Programs with Unbounded Thread Creation | BibTeX data for Verification of Boolean Programs with Unbounded Thread Creation

Deciding Bit−Vector Arithmetic with Abstraction

Randal E. Bryant‚ Daniel Kroening‚ Joel Ouaknine‚ Sanjit A. Seshia‚ Ofer Strichman and Bryan Brady

In Proceedings of TACAS 2007. Vol. 4424 of Lecture Notes in Computer Science. Pages 358–372. Springer. 2007.

Details about Deciding Bit−Vector Arithmetic with Abstraction | BibTeX data for Deciding Bit−Vector Arithmetic with Abstraction

Accurate Theorem Proving for Program Verification

Byron Cook‚ Daniel Kroening and Natasha Sharygina

In Proceedings of ISoLA 2004. Vol. 4313 of Lecture Notes in Computer Science. Pages 96–114. Springer. 2006.

Details about Accurate Theorem Proving for Program Verification | BibTeX data for Accurate Theorem Proving for Program Verification

SATABS: SAT−based Predicate Abstraction for ANSI−C

Edmund Clarke‚ Daniel Kroening‚ Natasha Sharygina and Karen Yorav

In Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2005). Vol. 3440 of Lecture Notes in Computer Science. Pages 570–574. Springer. 2005.

Details about SATABS: SAT−based Predicate Abstraction for ANSI−C | BibTeX data for SATABS: SAT−based Predicate Abstraction for ANSI−C

Predicate Abstraction of ANSI–C Programs using SAT

Edmund Clarke‚ Daniel Kroening‚ Natasha Sharygina and Karen Yorav

In Formal Methods in System Design (FMSD). Vol. 25. Pages 105–127. 2004.

Details about Predicate Abstraction of ANSI–C Programs using SAT | BibTeX data for Predicate Abstraction of ANSI–C Programs using SAT

A Tool for Checking ANSI−C Programs

Edmund Clarke‚ Daniel Kroening and Flavio Lerda

In Kurt Jensen and Andreas Podelski, editors, Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2004). Vol. 2988 of Lecture Notes in Computer Science. Pages 168–176. Springer. 2004.

Details about A Tool for Checking ANSI−C Programs | BibTeX data for A Tool for Checking ANSI−C Programs