Color Model from PolySpace Verification: Example - File Exchange - MATLAB Central

Download Submission

Code covered by the BSD License

Highlights from
Color Model from PolySpace Verification

Color_Model_From_Verification... FUNCTION: Color_Model_From_Verification
sl_customization(cm) SL_CUSTOMIZATION - Menu customization
Example
View all files

image thumbnail

from Color Model from PolySpace Verification by David Jaffry
The tool colors Simulink Model using PolySpace code verification.

Example
See how to add a preview image to this page.