Color Model from PolySpace Verification

Version 1.0.0.1 (451 KB) by David Jaffry
The tool colors Simulink Model using PolySpace code verification.
0.0
(0)
705 Downloads
Updated 1 Sep 2016

View License

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://www.mathworks.com/matlabcentral/fileexchange/29799-color-model-from-polyspace-verification), MATLAB Central File Exchange. Retrieved .

MATLAB Release Compatibility
Created with R2008b
Compatible with any release
Platform Compatibility
Windows macOS Linux
Tags Add Tags
Open in new tab
Version Published Release Notes
1.0.0.1

Updated license
1.0.0.0