只为小站
首页
域名查询
文件下载
登录
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
个人信息
点我去登录
购买积分
下载历史
恢复订单
热门下载
故障诊断数据集及实现代码
中小型企业网络建设.pkt
PLECS中文手册.pdf
MATLAB车牌识别系统
transformer_pytorch_inCV.rar
全国道路网SHP数据.zip
校园网规划与设计(报告和pkt文件)
粒子群多无人机协同多任务分配.zip
PSO-LSSVM的MATLAB代码.rar
基于Python网络爬虫毕业论文.doc
android studio课程设计作业PPT+设计文档+可运行源代码+设计思路
采用K-means聚类,实现多维矩阵的聚类,并进行可视化展示(matlab)
【SystemVerilog】路科验证V2学习笔记(全600页).pdf
王万良-人工智能导论(第五版)课件
《MIMO-OFDM无线通信技术及MATLAB实现》高清PDF及源代码
最新下载
python 实现遗传算法 课程设计 课程作业 Genetic Algorithm
最优化课程设计.pdf
电子-蓝桥杯第八届嵌入式省赛试题及其答案.rar
matlab小波周期分析
Matlab程序小波分析时间序列数据
IB Specification Vol 1&Vol 2-Release-1.4-2020-04-07.rar
Sqlserver 工具源码 C# WinForm
中国移动用户卡硬件技术规范V2.0.0
基于STM32F103无源蜂鸣器播放音乐.zip
DSP第三次大作业(数字滤波器的基本结构)(北理工)
其他资源
HP增霸卡驱动V7.0.rar
STM32_FreeRTOS+LwIP
个C#写的OPC客户端示例
MSP430G2553超声波测距程序
本程序是为了实现串口通信功能而使用C#编写的上位机界面。可以实现波形的检测,显示,存储和FFT分析
非常好的开关电源,pcb,原理图还有清单,5V-2.4A,可以用于手机充电器等等。
Liner Algebra Done Right(中文版)
C#语言环境下的SuperMap Objects组件式开发 ISO
基于python+django的留言板
快手帮助文档
热敏电阻测温电路及源码(PT100)
OJ离线版 ACM离线本地测评/判定系统/软件 Local/Offline Judge part3
华硕 TUF B360M PLUS GAMING S.zip
esp32_https_mbedtls.zip
ES是下一代JavaScript语言标准的统称
Bayesian reconstruction of multiscale local contrast images from brain activity
H81MDGS2 11111
Git-2.30.0.2-64-bit.zip
贪心算法(原理和实现)
imifirewall(防火墙)
java实现工作流以及工作流的处理
SCCM数据库字段大全