Benchmarking Software Model Checkers on Automotive Code.

Lukas Westhofen Philipp Berger Joost-Pieter Katoen

Published in: NFM (2020)

Keyphrases

formal model
simulation environment
probabilistic model
source code
high level
prior knowledge
open source
theoretical framework
process model
genetic algorithm
user interface
management system
input data
test cases
experimental data