matlab开发-来自多空间验证的颜色模型。该工具使用多空间代码验证为Simulink模型着色。