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

Johanna Nellen, Thomas Rambow, Md Tawhid Bin Waez, Erika brahm, Joost-Pieter Katoen

Browse the full FM paper archive.