Benchmarking Software Model Checkers on Automotive Code

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

Cham, Switzerland : Springer (2020)
Contribution to a book, Contribution to a conference proceedings

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.)
Page(s)/Article-Nr.: 133-150


  • Department of Computer Science [120000]
  • Chair of Computer Science 2 (Software Modeling and Verification) [121310]