Exploring Simulink Design Verifier 03

版本 1.0.0.0 (373.1 KB) 作者: Natasha Jeppu
This is a script to generate NuSMV and Matlab code for Mode Transitions
0.0
(0)
159.0 次下载
更新时间 2016/1/16

查看许可证

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.

引用格式

Natasha Jeppu (2024). Exploring Simulink Design Verifier 03 (https://www.mathworks.com/matlabcentral/fileexchange/54945-exploring-simulink-design-verifier-03), MATLAB Central File Exchange. 检索来源 .

MATLAB 版本兼容性
创建方式 R2015b
兼容任何版本
平台兼容性
Windows macOS Linux
类别
在 Help Center 和 MATLAB Answers 中查找有关 Simulink Design Verifier 的更多信息

Community Treasure Hunt

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

Start Hunting!

版本 已发布 发行说明
1.0.0.0