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