Author:
Behrend Jörg,Lettnin Djones,Grünhage Alexander,Ruf Jürgen,Kropf Thomas,Rosenstiel Wolfgang
Publisher
Springer Science and Business Media LLC
Subject
Electrical and Electronic Engineering
Reference42 articles.
1. Ball T, Majumdar R, Millstein T, Rajamani SK (2001) Automatic predicate abstraction of C programs. SIGPLAN Not 36:203–213
2. Barrett C, Sebastiani R, Seshia SA, Tinelli C (2009) Satisfiability modulo theories, ser. Frontiers in artificial intelligence and applications, vol 185, ch. 26. IOS Press, pp 825–885
3. Behrend J, Lettnin D, Heckler P, Ruf J, Kropf T, Rosenstiel W (2011) Scalable hybrid verification for embedded software. In: DATE ’11: Proceedings of the conference on design, automation and test in Europe, pp 1–6
4. Beyer D, Henzinger TA, Jhala R, Majumdar R (2007) The software model checker BLAST: applications to software engineering. Int J Softw Tools Technol Transfer
5. Biere A, Cimatti A, Clarke EM, Strichman O, Zhu Y (2003) Bounded model checking. In: Zelkowitz M (ed) Highly dependable software, ser. Advances in computers, vol 58. Academic Press
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献