Exploring Design Verifier - 04
This has examples files for exploring Simulink Design Verifier
You are now following this Submission
- You will see updates in your followed content feed
- You may receive emails, depending on your communication preferences
This has a set of models for the Therac-25 revisited as a Stateflow model, a 3 signal voter logic and a Up/Down counter. There is a detailed description as a PowerPoint to help understand the models. A set of NuSMV (another model checker) files is also provided for comparison.
Cite As
Natasha Jeppu (2026). Exploring Design Verifier - 04 (https://se.mathworks.com/matlabcentral/fileexchange/58448-exploring-design-verifier-04), MATLAB Central File Exchange. Retrieved .
General Information
- Version 1.0.0.0 (1.5 MB)
MATLAB Release Compatibility
- Compatible with any release
Platform Compatibility
- Windows
- macOS
- Linux
| Version | Published | Release Notes | Action |
|---|---|---|---|
| 1.0.0.0 | Updated description and tags |
