Exploring Design Verifier - 04
Version 1.0.0.0 (1,5 Mo) par
Natasha Jeppu
This has examples files for exploring Simulink Design Verifier
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.
Citation pour cette source
Natasha Jeppu (2024). Exploring Design Verifier - 04 (https://www.mathworks.com/matlabcentral/fileexchange/58448-exploring-design-verifier-04), MATLAB Central File Exchange. Récupéré le .
Compatibilité avec les versions de MATLAB
Créé avec
R2016a
Compatible avec toutes les versions
Plateformes compatibles
Windows macOS LinuxCatégories
En savoir plus sur Simulink Design Verifier dans Help Center et MATLAB Answers
Tags
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!Découvrir Live Editor
Créez des scripts avec du code, des résultats et du texte formaté dans un même document exécutable.
Version | Publié le | Notes de version | |
---|---|---|---|
1.0.0.0 | Updated description and tags |