1 |
B. Schlich and S. Kowalewski, 'Model Checking C Source Code for Embedded Systems,' in Proceedings of IEEE/NASA Workshop on Leveraging Applications of Formal Methods, Verification, and Validation, 2005
|
2 |
E.M. Clarke, O. Grumberg, S. Jha, Y. Lu, and H. Veith, 'Progress on the State Explosion Problem in Model Checking,' Informatics, pp. 176-194, 2001
|
3 |
S. Graf and H. Saidi, 'Construction of Abstract State Graphs with PVS,' in Proceedings of CAV, pp. 72-83, 1997
|
4 |
E.M. Clarke, O. Grumberg, S. Jha, Y. Lu, and H. Veith, 'Counterexample-Guided Abstraction Refinement,' in Proceedings of CAV, pp. 154-169, 2000
|
5 |
A. Biere, A. Cimatti, E.M. Clarke, O. Strichman, and Y. Zhu, 'Bounded Model Checking,' Advances in Computers, Vol.58, pp. 118-149, 2003
|
6 |
D. Kroening and O. Strichman, 'Efficient Computation of Recurrence Diameters,' in Proceedings of VMCAI, pp. 298-309, 2003
DOI
ScienceOn
|
7 |
E.M. Clarke, O. Grumberg, and D. Peled, Model Checking, MIT Press, 1999
|
8 |
R. Matthew, B. Dwyer, and J. Hatcliff, 'Bogor: An Extensible and Highly-Modular Software Model Checking Frame work,' in Proceedings of ACM SIGSOFT international symposium on Foundations of software engineering, pp. 267-276, 2003
DOI
|
9 |
J. Corbett, Bandera Intermdiate Representation(BIR) Specification, Version 6.0, Available at the website http://santos.cis.ksu.edu/bandera/birdocs
|
10 |
A. Biere, A. Cimatti, E.M. Clarke, and Y. Zhu, 'Symbolic Model Checking without BDDs,' in Proceedings of TACAS, pp. 193-207, 1999
DOI
ScienceOn
|