Software Model Checking: Publications
|
[1] |
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. |
|
[2] |
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. |
|
[3] |
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. |
|
[4] |
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. |
|
[5] |
Decision Procedures – an Algorithmic Point of View Daniel Kroening and Ofer Strichman Springer. 2008. To appear |
|
[6] |
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. |
|
[7] |
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. |
|
[8] |
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. |