Verifying Auto-generated C Code from Simulink - An Experience Report in the Automotive Domain.

Philipp Berger, Joost-Pieter Katoen, Erika brahm, Md Tawhid Bin Waez, Thomas Rambow

Browse the full FM paper archive.