CoCoSim CoCoSim是针对Simulink和Stateflow模型的自动化分析和代码生成框架。 具体来说,CoCoSim可用于自动验证用户提供的安全要求。 此外,CoCoSim可用于生成C和/或Rust代码。 CoCoSim使用Luster作为其中间语言。 CoCoSim目前正在开发中。 我们欢迎任何反馈和错误报告。 CoCoSim工具箱 CoCoSim工具箱包含用于后端求解器的linux和osx Binariers。 下载 安装 CoCoSim可以按以下方式安装和使用: 依存关系 MATLAB(c)版本R2014b或更高版本 (可选) 最适合Windows OS用户 (可选)