Exploring Design Verifier - 04
This has examples files for exploring Simulink Design Verifier
Al momento, stai seguendo questo contributo
- Vedrai gli aggiornamenti nel tuo feed del contenuto seguito
- Potresti ricevere delle email a seconda delle tue preferenze per le comunicazioni
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 (2026). Exploring Design Verifier - 04 (https://it.mathworks.com/matlabcentral/fileexchange/58448-exploring-design-verifier-04), MATLAB Central File Exchange. Recuperato .
Informazioni generali
- Versione 1.0.0.0 (1,5 MB)
Compatibilità della release di MATLAB
- Compatibile con qualsiasi release
Compatibilità della piattaforma
- Windows
- macOS
- Linux
| Versione | Pubblicato | Note della release | Action |
|---|---|---|---|
| 1.0.0.0 | Updated description and tags |
