Color Model from PolySpace Verification
The tool colors Simulink Model using PolySpace code verification.
You are now following this Submission
- You will see updates in your followed content feed
- You may receive emails, depending on your communication preferences
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)
Cite As
David Jaffry (2026). Color Model from PolySpace Verification (https://se.mathworks.com/matlabcentral/fileexchange/29799-color-model-from-polyspace-verification), MATLAB Central File Exchange. Retrieved .
General Information
- Version 1.0.0.1 (451 KB)
MATLAB Release Compatibility
- Compatible with any release
Platform Compatibility
- Windows
- macOS
- Linux
