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)
704 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 (2025). Color Model from PolySpace Verification (https://se.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

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!

Version Published Release Notes
1.0.0.1

Updated license
1.0.0.0