Exploring Simulink Design Verifier 03
Version 1.0.0.0 (373 ko) par
Natasha Jeppu
This is a script to generate NuSMV and Matlab code for Mode Transitions
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.
Citation pour cette source
Natasha Jeppu (2024). Exploring Simulink Design Verifier 03 (https://www.mathworks.com/matlabcentral/fileexchange/54945-exploring-simulink-design-verifier-03), MATLAB Central File Exchange. Récupéré le .
Compatibilité avec les versions de MATLAB
Créé avec
R2015b
Compatible avec toutes les versions
Plateformes compatibles
Windows macOS LinuxCatégories
En savoir plus sur Simulink Design Verifier dans Help Center et MATLAB Answers
Tags
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!Découvrir Live Editor
Créez des scripts avec du code, des résultats et du texte formaté dans un même document exécutable.
Version | Publié le | Notes de version | |
---|---|---|---|
1.0.0.0 |