Color Model from PolySpace Verification

The tool colors Simulink Model using PolySpace code verification.
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 (2024). 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

Community Treasure Hunt

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

Start Hunting!
Version Published Release Notes

Updated license