Paper at NFM 2020

The paper “Benchmarking Software Model Checkers on Automotive Code” by Lukas Westhofen (OFFIS), Philipp Berger and Joost-Pieter Katoen has been accepted for presentation at the 12th NASA Formal Methods Symposium. The paper reports on applying 12 SVComp and one commercial software model checkers on two C programs from automotive. Bottom line: the tools from SVComp did poorly, a modified CBMC version with k-induction did reasonable and the commercial tool did the best.