152 citations · 168 across the 9 of their papers we have counts for
1 paper · 1 filter
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…