Benchmarking Software Model Checkers on Automotive Code

BIB
Westhofen, Lukas and Berger, Philipp and Katoen, Joost-Pieter
NASA Formal Methods
2020
inproceedings
Springer International Publishing