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

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

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

代码说明:

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

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

发表评论

0 个回复

  • 脉宽调制DC/DC全桥变换器的软开关技术(阮新波)
    本书是开关电源类的经典书籍,几乎所有搞电源的的人士都知道这书,但是现在书店基本不卖,是一本很好的书。
    2020-12-10下载
    积分:1
  • 2018-AI人工智能入门课件PPT.zip
    【实例简介】目前,世界各国都开始重视人工智能的发展。2017 年 6 月 29 日,首届世界智能大会在天津召开。中国工程院院士潘云鹤在大会主论坛作了题为“中国新一代人工智能”的主题演讲,报告中概括了世界各国在人工智能研究方面的战略:2016 年 5 月,美国白宫发表了《为人工智能的未来做好准备》;英国 2016 年 12月发布《人工智能:未来决策制定的机遇和影响》;法国在 2017 年 4 月制定了《国家人工智能战略》;德国在2017年5月颁布全国第一部自动驾驶的法律;在中国,据不完全统计,2017 年运营的人工智能公司接近 400 家,行业巨头百度、腾讯、阿里巴巴等都不断在人工智能领域发力。从数量、投资等角度来看,自然语言处理、机器人、计算机视觉成为了人工智能最为热门的三个产业方向。
    2021-11-27 00:34:55下载
    积分:1
  • QT实现基于freetype的TTF字体拆解
    QT实现基于freetype的TTF字体拆解,工程运行需要freetype库的DLL文件,所以压缩包中附带的debug文件夹需要在工程中设置一下。
    2021-05-06下载
    积分:1
  • 2013北航应用数理统计第次大作业-回归分析.doc
    【实例简介】2013北航应用数理统计第一次大作业-回归分析
    2021-12-10 00:37:12下载
    积分:1
  • 信号分析抽取插值matlab代码
    代码模拟了信号分析中的抽取和插值过程,在求取均方误差的时候还有一点小瑕疵,仅供参考。
    2020-12-03下载
    积分:1
  • 偏最小二乘回归算法的学习资料
    找了很久的偏最小二乘回归算法,包括《偏最小二乘回归的线性与非线性方法(王惠问 吴载斌 孟洁)》的PDF,《偏最小二乘回归方法及其应用》的pdf,《算法大全第30章--偏最小二乘回归》PDF ,一个比较好的博客《偏最小二乘法回归(Partial Least Squares Regression)(博客)》PDF。
    2020-12-08下载
    积分:1
  • 精品述职报告PPT.pptx
    【实例简介】述职报告工作总结PPT模板
    2021-12-04 00:41:08下载
    积分:1
  • QT可动态添加、删除控件的小项目
    QT实现的可动态添加、删除控件的小项目;当添加控件达占满widget时,自动添加滚动条效果,并提供了一个删除功能,删除你添加到widget里的控件。控件可以是任何的大小的QWidget.
    2020-12-06下载
    积分:1
  • haar人脸 人眼检测 MATLAB
    用haar算法,在MATLAB中实现对图像库中图片的自动检测人脸以及人眼并标记,注释详细。
    2020-12-08下载
    积分:1
  • 压缩感知小波变换(synsq_toolbox)matlab代码(已经译,可以直接使用)
    同步压缩小波变换(synsq_toolbox)matlab代码。由于源代码为.c文件,本人已经编译为.mat文件,可以直接使用。
    2020-12-03下载
    积分:1
  • 696516资源总数
  • 106914会员总数
  • 0今日下载