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

Cham / Springer (2018) [Contribution to a book, Contribution to a conference proceedings]

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

Authors

Authors

Nellen, Johanna
Rambow, Thomas
Waez, Md Tawhid Bin
Ábrahám, Erika
Katoen, Joost-Pieter

Identifier