Color Model from PolySpace Verification by David Jaffry

The tool colors Simulink Model using PolySpace code verification. (simulink, verification, link)

Example

Color_Model_From_Verification(callbackInfo) %#ok<INUSD>

sl_customization(cm)

NXT Scanner with Lego Mindstorms NXT by Yoshiaki Banno

NXT Scanner Model-Based Design based on Embedded Coder Robot NXT. (simulink, simulation, demo)

data_communication