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
.
Scalable hybrid verification for embedded software
2011
2011 Design, Automation & Test in Europe
The verification of embedded software has become an important subject over the last years. However, neither standalone verification approaches, like simulation-based or formal verification, nor state-of-the-art hybrid/semiformal verification approaches are able to verify large and complex embedded software with hardware dependencies. This work presents a new scalable and extendable hybrid verification approach for the verification of temporal properties in embedded software with hardware
doi:10.1109/date.2011.5763039
dblp:conf/date/BehrendLHRKR11
fatcat:skickcenofetbmiwtizlinw4pq