Exploring Simulink Design Verifier 03

Version 1.0.0.0 (373 KB) by Natasha Jeppu
This is a script to generate NuSMV and Matlab code for Mode Transitions
0.0
(0)
161 Downloads
Updated 16 Jan 2016

View License

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.

Cite As

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

MATLAB Release Compatibility
Created with R2015b
Compatible with any release
Platform Compatibility
Windows macOS Linux
Categories
Find more on Simulink Design Verifier in Help Center and MATLAB Answers
Tags Add Tags

Version Published Release Notes
1.0.0.0