1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.LO2020
Benchmarking Software Model Checkers on Automotive Code
Lukas Westhofen, Philipp Berger, Joost-Pieter Katoen
This paper reports on our experiences with verifying automotive C code by state-of-the-art open source software model checkers. The embedded C code is automatically generated from…
cs.LO2019★ 1 cited
Multiple Analyses, Requirements Once: simplifying testing & verification in automotive model-based development
Philipp Berger, Johanna Nellen, Joost-Pieter Katoen +3
In industrial model-based development (MBD) frameworks, requirements are typically specified informally using textual descriptions. To enable the application of formal methods, the…