Exploring Design Verifier - 04

版本 1.0.0.0 (1.5 MB) 作者: Natasha Jeppu
This has examples files for exploring Simulink Design Verifier
0.0
(0)
89.0 次下载
更新时间 2016/7/30

查看许可证

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.

引用格式

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

MATLAB 版本兼容性
创建方式 R2016a
兼容任何版本
平台兼容性
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

Updated description and tags