Benchmarking Software Model Checkers on Automotive Code.

Lukas Westhofen Philipp Berger Joost-Pieter Katoen

Published in: CoRR (2020)

Keyphrases

probabilistic model
computational model
theoretical analysis
high level
mathematical model
statistical model
conceptual model
information systems
objective function
probability distribution
software engineering
software development
operating system
experimental data