文件名称:
不建议使用cocoSim：SimulinkStateflow的自动化分析框架（不建议使用，请参阅cocoSim2）-源码
开发工具:
文件大小: 925kb
下载次数: 0
上传时间: 2021-02-02
详细说明：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二进制文件的路径。 如果安装
(系统自动生成,下载前可以参看下载内容)
下载文件列表
相关说明
- 本站资源为会员上传分享交流与学习,如有侵犯您的权益,请联系我们删除.
- 本站是交换下载平台，提供交流渠道，下载内容来自于网络，除下载问题外，其它问题请自行百度。
- 本站已设置防盗链，请勿用迅雷、QQ旋风等多线程下载软件下载资源，下载后用WinRAR最新版进行解压.
- 如果您发现内容无法下载，请稍后再次尝试；或者到消费记录里找到下载记录反馈给我们.
- 下载后发现下载的内容跟说明不相乎，请到消费记录里找到下载记录反馈给我们，经确认后退回积分.
- 如下载前有疑问，可以通过点击"提供者"的名字，查看对方的联系方式，联系对方咨询.
