文件名称：PolySpace Verification 的颜色模型：该工具使用 PolySpace 代码验证为 Simulink 模型着色。-matlab开发
文件大小：451KB
文件格式：ZIP
更新时间：2024-06-20 21:22:49
matlab
该工具用于使用 PolySpace 结果为 Simulink 模型着色，以直接显示哪些模块包含或不包含运行时错误（如除以零、溢出...）。 有4种颜色： -green：没有运行时错误-red：系统运行时错误-gray：无法访问的代码-orange：未经证实的代码（潜在错误）
【文件预览】：
Color_Model_From_Verification.zip