Exploring Simulink Design Verifier 03
Versión 1.0.0.0 (373 KB) por
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.
Citar como
Natasha Jeppu (2024). Exploring Simulink Design Verifier 03 (https://www.mathworks.com/matlabcentral/fileexchange/54945-exploring-simulink-design-verifier-03), MATLAB Central File Exchange. Recuperado .
Compatibilidad con la versión de MATLAB
Se creó con
R2015b
Compatible con cualquier versión
Compatibilidad con las plataformas
Windows macOS LinuxCategorías
Más información sobre Simulink Design Verifier en Help Center y MATLAB Answers.
Etiquetas
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!Descubra Live Editor
Cree scripts con código, salida y texto formateado en un documento ejecutable.
Versión | Publicado | Notas de la versión | |
---|---|---|---|
1.0.0.0 |