【文件属性】：
文件名称：不建议使用cocoSim：SimulinkStateflow的自动化分析框架（不建议使用，请参阅cocoSim2）
文件大小：925KB
文件格式：ZIP
更新时间：2021-02-02 13:39:27
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二进制文件的路径。 如果安装