文件名称：不建议使用cocoSim：SimulinkStateflow的自动化分析框架（不建议使用，请参阅cocoSim2）
文件大小：925KB
文件格式：ZIP
更新时间：2024-02-23 07:26:07
c rust compiler matlab verification
CoCoSim CoCoSim是针对Simulink和Stateflow模型的自动化分析和代码生成框架。 具体来说，CoCoSim可用于自动验证用户提供的安全要求。 此外，CoCoSim可用于生成C和/或Rust代码。 CoCoSim使用Luster作为其中间语言。 CoCoSim目前正在开发中。 我们欢迎任何反馈和错误报告。 CoCoSim工具箱 CoCoSim工具箱包含用于后端求解器的linux和osx Binariers。 下载 安装 CoCoSim可以按以下方式安装和使用： 依存关系 MATLAB（c）版本R2014b或更高版本 （可选） 最适合Windows OS用户 （可选） Python2.7 组态 将不同的求解器（Zustre，Kind2，JKind） cocosim/tools/verifiers/在cocosim/tools/verifiers/ 。 在src/config.m设置后端求解器的配置： ZUSTRE ： 二进制文件的路径。 KIND2 ： 二进制文件的路径。 LUSTREC ： 二进制文件的路径。 Z3 ：Z3二进制文件的路径。 如果安装