网站首页

形式化建模验证SMV模型检验器.rar

于 2021-12-08 发布

 0  170

下载积分: 1 下载次数: 1

我要下载

代码说明：

使用UML等建模工具建立模型，再将模型转换为形式的语句，编写SMV程序，输入SMV模型检验器进行验证。用于实现形式化方法模型检验

下载说明：请别用迅雷下载，失败请重下，重下不扣分！

发表评论

0 个回复

WPF C# 人事管理系统
水晶报表，xaml，人事管理增删改查等等，基本功能都有，包括数据库，很齐全

2020-11-30下载

积分：1
四阶超混沌映射matlab代码
利用四阶超混沌映射，可以对图像进行完整有效的加密与解密，而且效果良好

2020-11-28下载

积分：1
sac文件读取函数matlab代码
matlab读取sac地震数据的代码，文件夹下的函数是相互关联的要放在一起使用

2020-11-28下载

积分：1
LS & MMSE channel estimators for OFDM
OFDM系统中的LS和MMSE方法的信道估计比较，包括SNR和MSE

2020-11-30下载

积分：1
飞行器控制系统设计及MATLAB分析
【实例简介】飞行器控制系统设计自动控制原理课程设计 MATLAB分析系统

2021-11-14 00:40:48下载

积分：1
基于BP神经网络的手写数字识别matlab实现
本ZIP文件包含了经典的手写数字的bmp数据，共{0,1,2，……，9}10个类，每个类包含500个数据；然后对图片进行二值化处理，采用patch来对每张image提出特征，最后设计神经网络对特征进行训练，并用得到的net来测试TestingSet，经过调解参数，测试精度可以达到95%左右。整个实现过程是基于matlab语言的，code清晰，明了，简单易懂，绝对值得算法爱好者探究。

2020-12-05下载

积分：1
labview登陆界面示例
labview的登陆界面示例，界面还算美观，有密码错误弹出提示，最多限制输入4次密码，当然在后台程序可以修改的，做数据采集项目用的上

2020-12-07下载

积分：1
android 弹幕效果
一套很完整的android开源库弹幕的绘制和获取都封装得很完整可直接使用一套很完整的android开源库弹幕的绘制和 Android 折叠布局

2020-12-03下载

积分：1
惯导仿真工具箱（严博士）
含有轨迹生成器、捷联惯导仿真、组合导航、误差分析、航位推算等多个功能。

2020-06-25下载

积分：1
NRF24L01图片传输
用STM32作为处理器，NRF24L01作为传输手段来传输图片或者视频

2021-05-06下载

积分：1

696518资源总数
104269会员总数
31今日下载

形式化建模验证SMV模型检验器.rar

0 个回复

热门标签

热门下载