Exploring Simulink Design Verifier 03

Versione 1.0.0.0 (373 KB) da Natasha Jeppu
This is a script to generate NuSMV and Matlab code for Mode Transitions
0.0
(0)
161 download
Aggiornato 16 gen 2016

Visualizza la licenza

Mode transitions defined as tables can be easily converted to Matlab and NuSMV code for use in SDV and NuSMV tool. This is used for formally proving the correctness of the mode transition. Two examples - one an earlier autopilot mode transition and another generic table is provided.

Cita come

Natasha Jeppu (2025). Exploring Simulink Design Verifier 03 (https://it.mathworks.com/matlabcentral/fileexchange/54945-exploring-simulink-design-verifier-03), MATLAB Central File Exchange. Recuperato .

Compatibilità della release di MATLAB
Creato con R2015b
Compatibile con qualsiasi release
Compatibilità della piattaforma
Windows macOS Linux
Categorie
Scopri di più su Simulink Design Verifier in Help Center e MATLAB Answers
Tag Aggiungi tag

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!

Versione Pubblicato Note della release
1.0.0.0