|
|
Software Model Checking: Publications
by date |
by title |
by type |
bibtex
|
[1]
|
Decision Procedures — an Algorithmic Point of View
Kroening, Daniel, Strichman, Ofer
Springer. 2008.
To appear.
Details
|
BibTeX
|
|
[2]
|
A Survey of Automated Techniques for Formal Software Verification
Vijay D'Silva, Daniel Kroening and Georg Weissenbacher
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), Vol. 27, No. 7, pages 1165-1178. July 2008.
Details
|
BibTeX
| Link
|
DOI (10.1109/TCAD.2008.923410)
|
|
[3]
|
Deciding Bit-Vector Arithmetic with Abstraction
Bryant, Randal E. et al.
In Proceedings of TACAS 2007 Vol. 4424 of Lecture Notes in Computer Science, pages 358—372. Springer, 2007.
Details
|
BibTeX
|
|
[4]
|
Verification of Boolean Programs with Unbounded Thread Creation
Cook, Byron, Kroening, Daniel and Sharygina, Natasha
Theoretical Computer Science (TCS), Vol. 388, pages 227—242. 2007.
Details
|
BibTeX
|
|
[5]
|
Accurate Theorem Proving for Program Verification
Cook, Byron, Kroening, Daniel and Sharygina, Natasha
In Proceedings of ISoLA 2004 Vol. 4313 of Lecture Notes in Computer Science, pages 96—114. Springer, 2006.
Details
|
BibTeX
|
|
[6]
|
SATABS: SAT-based Predicate Abstraction for ANSI-C
Clarke, Edmund et al.
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
|
BibTeX
|
|
[7]
|
Predicate Abstraction of ANSI—C Programs using SAT
Clarke, Edmund et al.
Formal Methods in System Design (FMSD), Vol. 25, pages 105—127. 2004.
Details
|
BibTeX
|
|
[8]
|
A Tool for Checking ANSI-C Programs
Clarke, Edmund, Kroening, Daniel and Lerda, Flavio
In Kurt Jensen, 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
|
BibTeX
|
|
|
|
|
