Formal Verification of Automotive Simulink Controller Models: Empirical Technical Challenges, Evaluation and Recommendations

Nellen, Johanna (Corresponding author); Rambow, Thomas; Waez, Md Tawhid Bin; Ábrahám, Erika; Katoen, Joost-Pieter

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

In: Formal Methods : 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings / edited by Klaus Havelund, Jan Peleska, Bill Roscoe, Erik de Vink


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