Exploring Design Verifier - 04

Versión 1.0.0.0 (1,5 MB) por Natasha Jeppu
This has examples files for exploring Simulink Design Verifier
0.0
(0)
89 descargas
Actualizado 30 jul 2016

Ver licencia

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.

Citar como

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

Compatibilidad con la versión de MATLAB
Se creó con R2016a
Compatible con cualquier versión
Compatibilidad con las plataformas
Windows macOS Linux
Categorías
Más información sobre Simulink Design Verifier en Help Center y MATLAB Answers.

Community Treasure Hunt

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

Start Hunting!

Versión Publicado Notas de la versión
1.0.0.0

Updated description and tags