网站首页

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

于 2021-12-08 发布

 0  292

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

我要下载

代码说明：

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

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

发表评论

0 个回复

厦门市GIS地图路网水系（厦门市.KMZ）
厦门市GIS地图路网水系（厦门市.KMZ）

2020-05-08下载

积分：1
java读取kml文件数据
自己做的用java读取kml文件数据，并保存为json文件。方便其它地方解析。

2020-12-04下载

积分：1
64位与32位 rxtxserial.dll/rxtxParallel.dll
windows64位/32位串口开发用到的rxtxParallel.dll和rxtxSerial.dll

2020-12-05下载

积分：1
STK仿真卫星通信实例
【实例简介】使用STK搭建的同步轨道卫星与两个地面站开展通信，进行通信链路性能评估，可进行误码率仿真

2021-07-06 00:31:05下载

积分：1
混沌粒子群算法
该算法是混沌运动与粒子群算法相结合的混沌粒子群算法，可以提高算法的全局搜索能力。

2020-11-27下载

积分：1
浮点数乘法器，verilog
浮点数乘法器,verilog,可直接综合

2020-12-05下载

积分：1
直播全套源码搭建成熟的直播系统源码elease.zip
该源码可用于：学习，研究其源码进行二次开发，当然也可以修改成为自己的源码然后进行修改搭建。

2020-12-06下载

积分：1
均匀量化matlab
模拟信号中，抽样后进行均匀量化，matlab程序自己编的

2020-12-11下载

积分：1
matlab surf图像配准图像检索
matlab surf图像配准图像检索图像处理模式识别我本人的毕业设计就是利用的surf来提取的特征，并进行相似度比较后，然后进行检索的。此程序对想利用surf的同学可以得到很大的帮助。surf比sift具有更快的速度，更好的配准率。

2020-12-06下载

积分：1
综合Canny法与小波变换的边缘检测方法
提出一种Canny法与小波变换相结合的边缘检测方法.首先,对源图像进行小波分解,在不同分解层上对高频子图像用小波模极大法进行边缘检测,对低频子图像用Canny法进行边缘检测,然后采用一定的融合规则将这两个边缘图像融合在一起,得到一幅完好的边缘图像.这种边缘检测方法结合了小波变换法和 Canny法的优点,对用不同方法得到的两种边缘信息进行融合,从而有效地抑制了噪声,保留了连续、清晰的边缘.实验结果表明,这种结合方法要优于单独使用Canny法或小波变换法.

2020-12-01下载

积分：1

696516资源总数
106913会员总数
8今日下载

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

0 个回复

热门标签

热门下载