Tool Chain to Support Automated Formal Verification of Avionics Simulink Designs.

Jiri Barnat, Jan Beran, Lubos Brim, Tomas Kratochvila, Petr Rockai

Browse the full FMICS paper archive.