Exploring Design Verifier - 04

Versione 1.0.0.0 (1,5 MB) da Natasha Jeppu
This has examples files for exploring Simulink Design Verifier
0.0
(0)
92 download
Aggiornato 30 lug 2016

Visualizza la licenza

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.

Cita come

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

Compatibilità della release di MATLAB
Creato con R2016a
Compatibile con qualsiasi release
Compatibilità della piattaforma
Windows macOS Linux
Categorie
Scopri di più su Simulink Design Verifier in Help Center e MATLAB Answers
Tag Aggiungi tag

Community Treasure Hunt

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

Start Hunting!

Versione Pubblicato Note della release
1.0.0.0

Updated description and tags