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 Embedded Software: Problems and Perspectives
[chapter]
2001
Lecture Notes in Computer Science
Computer aided formal methods have been very successful for the verification or at least enhanced debugging of hardware. The cost of correction of a hardware bug is huge enough to justify high investments in alternatives to testing such as correctness verification. This is not the case for software for which bugs are a quite common situation which can be easily handled through online updates. However in the area of embedded software, errors are hardly tolerable. Such embedded software is often
doi:10.1007/3-540-45449-7_8
fatcat:3esnfv76hfarbbv5n7ry7epr4u