A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Verification of Temporal Properties in Automotive Embedded Software
2008
2008 Design, Automation and Test in Europe
The amount of software in embedded systems has increased significantly over the last years and, therefore, the verification of embedded software is of fundamental importance. One of the main problems in embedded software is to verify variables and functions based on temporal properties. Formal property verification using model checker often suffers from the state space explosion problem when a large software design is considered. In this paper, we propose two new approaches to integrate
doi:10.1109/date.2008.4484680
dblp:conf/date/LettninNRKRKSR08
fatcat:6ahb3njc55fvvgszhjfq6dr2ia