Model-based Generation of Tests for Dependable Embedded Systems : 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] |
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. |