只为小站
首页
域名查询
文件下载
登录
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
个人信息
点我去登录
购买积分
下载历史
恢复订单
热门下载
基于蒙特卡洛生成电动汽车充电负荷曲线程序
基于javaweb的网上购物系统(毕业论文+答辩PPT+开题报告+源代码)
ChinaMeteorologicalDataHandler.R
中国地面气候资料日值数据集(V3.0)-201001201912.rar
avantage 软件 xps 处理软件30天后不能使用问题
Academic+Phrasebank+2021+Edition+_中英文对照.pdf
Android大作业——网上购物APP(一定是你想要的)
matlab时频分析工具箱+安装方法+函数说明+最新版tftb.
EBSD分析软件——Channel5下载安装教程
基于傅里叶算子的手势识别的完整源代码(Python实现,包含样本库)
通过svm cnn knn对高光谱数据集PaviaU进行分类(matlab)
凯斯西储大学(CWRU)轴承数据集(含数据包+整理Python程序+使用说明)
云视通扫描工具.zip
matpower5.0b1.zip
基于YOLOV5的车牌定位和识别源码.zip
最新下载
Opencv 视频转化为图片
opencv逐帧读取视频转存jpg,一件运行exe
OpenCV获取视频的每一帧并保存为.jpg图片
华为_Mate 9 Pro_用户手册_LON-AL00_01_中文.pdf
cg mapmaster
See4CGW 魔力图档查看工具
Amplify Shader Editor v1.9.1.5
中国城市坐标和铁路站点坐标
二阶导纳系统simulink完整仿真
Deep-Reinforcement-Learning-With-Python:使用OpenAI Gym和TensorFlow结合广泛的数学知识来掌握经典RL,深度RL,分布式RL,逆RL等
其他资源
程序设计语言 实践之路 第2版
易语言超级模块7.3(永久免费)
压缩感知TwIST
stm8s官方例程
射频功率放大器仿真设计详细过程讲解
基于遗传算法的自动化仓库的动态货位分配
2021最新高校/大学名称sql文件 dbo.BasicSchools1.Table full
基于AT89C51单片机的智能脉搏测试仪设计
电商产品经理宝典:电商后台系统产品逻辑全解析(高清彩色带书签完整)
基于msp430g2553和ad18b20的温度检测与控制
影音转霸(内有注册码)
Star-CCM+_3D-CAD教程.ppt
蓝桥杯java历年真题及答案整理(共129道题目及答案)
伟创AC60变频器摆频功能调用.docx
cifar10_inception10.py
up-examples:Up的示例应用程序,api和网站-源码
CompTIA Linux Study Guide, 4th Edition.pdf
药品信息管理系统(毕业设计)源码
广东某工业大学的openGL课程设计
数字系统设计实验报告EDA技术
Novatel connect工具软件
jlink4.78破解固件不提示盗版
python3.6.5版本
linux下串口编程简单实例
深度学习testCNN的python实现
用C语言实现图形菜单界面
PLI中文
QQ飞车舞蹈模式全连易语言源码