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
Einrichtungen
- Fachgruppe Informatik [120000]
- Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) [121310]
Identifikationsnummern
- DOI: 10.1007/978-3-030-55754-6_8
- RWTH PUBLICATIONS: RWTH-2021-02250