Color Model from PolySpace Verification

Versione 1.0.0.1 (451 KB) da David Jaffry
The tool colors Simulink Model using PolySpace code verification.
0.0
(0)
704 download
Aggiornato 1 set 2016

Visualizza la licenza

The tool is used to color Simulink Model using PolySpace results to show directly which blocks contains or not run-time errors (like division by zero, overflow...).
There are 4 colors:
-green: free of run-time error
-red: systematic run-time error
-gray: unreachable code
-orange: unproven code (potential error)

Cita come

David Jaffry (2025). Color Model from PolySpace Verification (https://it.mathworks.com/matlabcentral/fileexchange/29799-color-model-from-polyspace-verification), MATLAB Central File Exchange. Recuperato .

Compatibilità della release di MATLAB
Creato con R2008b
Compatibile con qualsiasi release
Compatibilità della piattaforma
Windows macOS Linux
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.1

Updated license
1.0.0.0