只为小站
首页
域名查询
文件下载
登录
ProVerif工具的安装教程资料
ProVerif工具的安装教程资料
2022-11-11 09:00:29
12KB
形式化验证
1
nusmv(WIN)
nusmv是
形式化验证
的一个常用工具,主要可以进行LTL,CTL的建模。windows版。
2022-04-09 18:42:27
6.86MB
nusmv
形式化验证
1
安全计算机通信管理机制的
形式化验证
与实现
为提高下一代列车运行控制(简称列控)系统安全计算机的系统兼容性,首先对其结构进行简要分析,并对管理机制进行设计,建立了管理单元状态转移模型,同时以
形式化验证
工具对模型的正确性进行了验证。在此基础上对基于微控制单元(MCU, micro controller unit)的管理单元进行了软硬件的设计实现与测试。验证和测试结果表明,所设计的管理机制符合设计规范的要求,管理单元能够实现预期的状态转移功能。
2022-03-19 10:26:10
767KB
列控系统
安全计算机
通信管理机制
形式化验证
1
《交互式定理证明与程序开发 Coq归纳构造演算的艺术》 高清 PDF
定理证明是数学领域一个古老的分支,它从公理出发,利用推理规则为定力寻找证明过程。
2019-12-21 22:23:13
58.73MB
Coq
形式化验证
1
SMV 符号验证的使用文档
SMV 符号验证的使用文档。SMV是很简单的基于CTL 逻辑的验证工具,本文档介绍了本工具的使用方法。
2019-12-21 20:00:58
185KB
形式化验证
1
个人信息
点我去登录
购买积分
下载历史
恢复订单
热门下载
上帝之眼和拾荒者.rar
基于matlab扩频通信系统仿真(整套代码)
PLECS中文手册.pdf
MPC 模型预测控制matlab仿真程序
基于YOLOV5的车牌定位和识别源码.zip
Plex v7.12电视端app
风电场风速及功率数据.zip
python实现的学生信息管理系统—GUI界面版
房价预测的BP神经网络实现_python代码
离散时间信号处理第三版课后习题答案
基于VMD算法的信号降噪.rar
Monet智能交通场景应用
Android小项目——新闻APP(源码)
转速、电流双闭环直流调速Simulink源文件.zip
东南大学英语技术写作慕课所有答案
最新下载
ASP.NET二手汽车交易系统
discuz插件:【禾今】微信投票 32.0(增加了无需关注也能投票的功能)
基于javaWeb实现学生选课管理系统程序设计源码+数据库文件+文档说明分享
铭瑄MS-H61MEL最新BIOS,亲测完美支持3代i5,E3 1230 V2
Update.ZIP_TWRP_RK3368_3.1.0-0_170318
CMW Run.rar
BIEE总结文档
基于51单片机的频率计设计(仿真+原理图+源代码+参考论文+实物照片)
常见激活函数excel图
基于单片机的智能温室大棚监控系统的设计(完整资料).doc
其他资源
一个毕业设计选题系统的数据库模型
中兴硬件笔试
预算管理系统
AD8138中文手册
opencv.jar
阿里云工业互联网方案.pdf
摄影展示小程序.zip
HX8282-A_DS_Preliminary_v02.pdf
devchs20.2.3.ini
kiwi.gerbers.rar
http连接池中文.html
logisim利用半加器计算8位原码求补码.circ
perl-hot-keys.pdf
自己珍藏路由器固件
WPF_QQ2013_Login窗体翻转
[源代码] ASP.NET 3.5 商用社交网站开发全程解析
openrisc_demo.rar
labview图像处理测距标定例程
复杂网络中基本网络模型的matlab实现
atmega16输出pwm波形
OGLWSADQE进行旋转缩放平移简单操作