Model-based Generation of Tests for Dependable Embedded Systems : Publications
Journal papers
|
[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. |
Conference papers
|
[1] |
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. |