登录
首页 » Others » 形式化建模验证SMV模型检验器.rar

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

于 2021-12-08 发布
0 276
下载积分: 1 下载次数: 1

代码说明:

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

下载说明:请别用迅雷下载,失败请重下,重下不扣分!

发表评论

0 个回复

  • 中文地址名称识别算法设计和实现
    中文地址名称识别是将用户输入的地址信息转化到地理坐标的过程,是现代汽车导航软件、地理信息和基于位置的服务等系统中最重要的功能之一。本文通过用户的输入并结合地址词典,利用自然语言处理等技术,合理推断用户最大意图,从而大大增加地址匹配的鲁棒性和智能性。
    2020-06-03下载
    积分:1
  • 无线通信与车联网测试技术
    无线通信与车联网测试技术,有兴趣可以下来看看
    2020-12-01下载
    积分:1
  • 认知无线电中的能量检测算法matlab代码
    毕业论文:认知无线电中的能量检测,自适应检测算法,matlab代码
    2020-06-29下载
    积分:1
  • OJ离线版 ACM离线本地测评/判定系统/软件 三合
    OJ离线版 ACM离线本地测评/判定系统/软件仅此一个压缩包即可解压,解压密码12343
    2020-11-28下载
    积分:1
  • 针对栅格路径规划的蚁群算法(MATLAB)
    本人研究生阶段主要学习蚁群算法,还留下一些问题,如果碰到有兴趣的人就太好不过了。本代码亲测可以使用,在MATLAB中点击main.m即可以运行。此外,本代码框架将会使你快速清楚蚁群算法基本原理。这里我给出我最后一个想实现但是还没有完成的蚁群算法的代码。主要是想应用在很大规模下的蚁群算法上,最好是5000*5000的栅格,但是本算法目前还比较慢,而且也不能得出一个最优结果。我试图在算法迭代后期加入随机初始化算子,以提高算法精度。当然,加速算法运行时间我没有加入到这个算法中。本程序对于栅格图形下的蚁群算法会是一个有用的代码。对于初学蚁群算法的,我在知乎上的一个回答可供参考:https:
    2020-12-21 20:29:08下载
    积分:1
  • OptiSystem_User_Reference
    学习OptiSystem的资料不多,可以下载看看~
    2020-12-07下载
    积分:1
  • m序列和Gold序列特性研究
    m序列的抽取产生方法,m序列优选对,m序列产生Gold序列族,及其自相关和互相关特性研究。
    2020-12-07下载
    积分:1
  • 高通QCAT Log分析工具
    高通QCAT Log分析工具QCAT is an integrated software package that allows you to decode the contents of binary log files generated by the Qualcomm Mobile Diagnostic Monitor (MDM), CDMA Air Interface Tester (CAIT), and Qualcomm Extensible Diagnostic Monitor Professional™ (QXDM Pro) tools.QCAT is compatible
    2021-05-06下载
    积分:1
  • CDMA扩频通信与RAKE接收机仿真
    在matlab平台下实现仿真CDMA码分多址通信信号调制信号产生、瑞丽衰落信道以及RAKE接收机的仿真测试程序,能够测试误码率等通信性能。
    2021-05-06下载
    积分:1
  • C语言实现三自由度机械臂轨迹规划源
    C语言实现三自由度机械臂轨迹规划源程序,输入为空间三维坐标,输出为相应电机需要旋转的角度
    2020-12-06下载
    积分:1
  • 696516资源总数
  • 106562会员总数
  • 4今日下载