A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
Experiences from Large-Scale Model Checking: Verification of a Vehicle Control System
[article]
2020
arXiv
pre-print
In the age of autonomously driving vehicles, functionality and complexity of embedded systems are increasing tremendously. Safety aspects become more important and require such systems to operate with the highest possible level of fault tolerance. Simulation and systematic testing techniques have reached their limits in this regard. Here, formal verification as a long established technique can be an appropriate complement. However, the necessary preparatory work like adequately modeling a
arXiv:2011.10351v1
fatcat:lpg2fq5mofgc7puvrgqwsuiig4