只为小站
首页
域名查询
文件下载
登录
nuXmv
-2.0.0-win64.tar.gz
nuXmv
是一种新的符号模型检查器,用于分析同步有限状态和有限状态系统。
nuXmv
扩展NuSMV沿着两个主要方向: 对于有限状态的情况,
nuXmv
具有基于最先进的基于SAT的算法的强大验证引擎。 对于无限状态的情况,
nuXmv
具有基于SMT的验证技术,通过与数学5。 查看的完整列表特征由
nuXmv
提供,或者看看用户手册。
nuXmv
目前以二进制形式获得许可,用于非商业或学术目的。
2022-03-28 21:01:54
34.91MB
NuXmv
NuSMV
符号模型检查器
自动机
1
个人信息
点我去登录
购买积分
下载历史
恢复订单
热门下载
大学生网页设计大作业-5个网页设计制作作品自己任选
Plex v7.12电视端app
超大规模集成电路先进光刻理论与应用.pdf
基于matlab的车牌识别系统设计
MPC 模型预测控制matlab仿真程序
EEMD算法应用于信号去噪.rar
云视通扫描工具.zip
非线性本构关系在ABAQUS中的实现.pdf
安卓开发期末大作业----单词本(源码,任务书,大报告,apk文件)(基于andord studio)
多智能体的编队控制matlab程序(自己编写的,可以运行)
20200318附加-2019年电赛综合测评方案详细计算过程(pdf版本,有朋友反映word版本乱码,特意转为pdf)
Python+OpenCV实现行人检测(含配置说明)
神经·模糊·预测控制及其MATLAB实现PDF + MATLAB程序
多目标优化算法(二)MOEAD(附带NSGA2)的文档和代码(MATLAB)
ios无人直播 虚拟视频实用版 可以导入视频
最新下载
大学生创业计划书合集 DOC PDF版本
易语言实现程序自动更新源码
Vivado license 2037
main-menu.xml
单极性全桥逆变SPWM控制方法以及解决过零点振荡的方案
仿闪客网盘蓝奏云网盘源码修复运营版
基于单片机的舵机控制装置设计本科毕业论文.doc
Cygwin64 Terminal
stdf extractor
fk.zip_F-K matlab_f-k谱图_fk matlab_fk函数_matlab中fk
其他资源
伦茨GDC V41401调试软件.rar
GAT 1211-2014 安全防范高清视频监控系统技术要求.pdf
关于平面应力问题有限元法——三角形常应变单元Matlab求解器
AD8367 AGC AD源文件 原理图 PCB
基于WinPcap的网络扫描以及端口扫描流量统计毕业设计
基于大数据的个人信用风险评估模型研究
西安电子科技大学软件工程毕业设计资料大全含代码论文.rar
Keil.STM32F0 stm32开发用的pack
解决sdk tools运行缺少adb和hprof-conv文件
Qt使用Qtxlsx操作表格
梳状滤波器
同相放大电路设计
微商防伪防窜货溯源查询系统源码二维码查询导入导出/扫码发货
node for mac 、node-v14.15.4.pkg
gnugo-3.8.zip gnugo 是一个围棋的训练软件,这是exe格式的
matlab.m 获取wav文件基频 mel倒谱 fft 变换
Easytodo 外贸业务管理系统 算号器
静态网页毕业论文
医院管理系统毕业设计
微信公众平台开发基础与实践-高清文字版.pdf