File Exchange

image thumbnail

Color Model from PolySpace Verification

version 1.0.0.1 (451 KB) by

The tool colors Simulink Model using PolySpace code verification.

2 Downloads

Updated

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)

Comments and Ratings (1)

Ram

Ram (view profile)

Learn more about Polyspace static code analysis here: http://www.mathworks.com/discovery/static-code-analysis.html

Ram

Updates

1.0.0.1

Updated license

MATLAB Release
MATLAB 7.7 (R2008b)

Download apps, toolboxes, and other File Exchange content using Add-On Explorer in MATLAB.

» Watch video

Win prizes and improve your MATLAB skills

Play today