Benchmarking Software Model Checkers on Automotive Code

Westhofen, Lukas; Berger, Philipp (Corresponding author); Katoen, Joost-Pieter

Cham, Switzerland : Springer (2020)
Buchbeitrag, Beitrag zu einem Tagungsband

In: NASA formal methods : 12th international symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020 : proceedings / Ritchie Lee, Susmit Jha, Anastasia Mavridou (eds.)
Seite(n)/Artikel-Nr.: 133-150