IEEE - Institute of Electrical and Electronics Engineers, Inc. - Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking

2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems (ECBS)

Author(s): Cordeiro, L. ; Fischer, B. ; Marques-Silva, J.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 March 2010
Conference Location: Oxford, England, England
Conference Date: 22 March 2010
Page(s): 160 - 169
ISBN (Electronic): 978-1-4244-6538-5
ISBN (Paper): 978-1-4244-6537-8
DOI: 10.1109/ECBS.2010.24
Regular:

The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall product quality. In... View More

Advertisement