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

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

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

代码说明:

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

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

发表评论

0 个回复

  • VC++基于socket传输文件服务端和客户端代码
    VC++基于socket传输文件服务端和客户端代码,并且加入配置文件
    2020-12-01下载
    积分:1
  • 基于windows的蓝牙通信
    本程序有扫描本地蓝牙和远程蓝牙设备、并向远程蓝牙设备发送配对请求的功能,vs2008运行成功
    2020-11-29下载
    积分:1
  • 高分辨率SAR图像,总共192张,花钱买来的!
    高分辨率SAR图像,花钱买的,总共192张,有需要的自行下载!
    2021-05-06下载
    积分:1
  • C#版C/S、CC局域网聊天、文件传输(源码与实验报告)
    1.用户之间的异步的即时文字通讯;2.支持文件传输功能;3.至少支持在局域网内实现基本文字通信功能4.CS通信、无服务器下CC通信
    2020-12-10下载
    积分:1
  • java、MYSQL作业上传系统
    一套在java+MySQL开发的线作业提交系统,本人做的毕业设计,希望有用哦!!
    2020-11-04下载
    积分:1
  • 信号调制识别论文(含matlab程序)
    较为完整的信号调制识别的论文,含全部的matlab实现程序。
    2020-11-28下载
    积分:1
  • 矩形件优化排样算法的研究与实现
    矩形件优化排样算法的研究与实现,矩形件优化排样算法的研究与实现
    2020-12-05下载
    积分:1
  • MFC实现rtsp视频流的播放
    调用vlc的库,自己用MFC实现的一个vlc的播放器,可以输入rtsp的url就可以播放,代码结构清晰,逻辑简单,适合PC端的工具开发与移植
    2020-12-06下载
    积分:1
  • OpenGL实现鼠标绕任意轴旋转/平移/缩放
    自己封装的鼠标封装的鼠标场景漫游工具类RoamingScenceManager,跟界面没有任何关系,压缩包里面有三个工程,分别是Qt,Win32(原生OpenGL界面),MFC 三个环境,里面都用到了RoamingScenceManager,用法简单,适合刚刚学opengl的新手构建场景。
    2020-12-05下载
    积分:1
  • 银行系统项目设计文档(详细文档)
    银行系统项目设计文档(详细文档)编写虚拟社区遇到的困难及解决方法 在编码的第一开始,我们就遇到了巨大的难题,分工是很细致了,但是如何来让每个人编写的代码其他人都能用呢? 这时候我们才发现设计和分工不是最难的,最难的是合作,但是我们并不惧怕困难,先考虑各个人编写的代码其他那几个人用得到,自己编码时要用到别人的那些代码,同时个人编码之前先写好Public 类名以及需要参数和返回参数。这样别人子要知道如何调用函数就行了。在对数据库操作方面我们也屡屡出错,为此我们到图书馆找来数据库SQL方面的书进行学习。后来,我们在RMI远程调用方面也遇到了问题。及使用安全策略文件来设置Java程序权限的问题
    2021-05-06下载
    积分:1
  • 696516资源总数
  • 106914会员总数
  • 0今日下载