电子发烧友App

硬声App

创作
电子发烧友网>电子资料下载>电子论文>测试测量论文>时序逻辑符号模型检测器

时序逻辑符号模型检测器

2018-01-26 | rar | 1.13 MB | 次下载 | 2积分

资料介绍

   现有模型检测工具的形式化规范语言。如计算树逻辑(computaTIon tree logic,简称CTL)和线性时序逻辑(Linear temporal logic,简称LTL)等的描述能力不足,无法验证∞正则性质.提出了一个命题投影时序逻辑(proposiTIonal proj ecTIon temporal logic,简称PPTL)符号模型检测工具-PLSMC(PPTL symbolic model checker)的设计与实现过程.该工具基于著名的符号模型检测系统NuSMV,实现了PPTL的符号模型检测算法.PLSMC的规范语言PPTL具有完全正则表达能力,这使得定性性质和定量性质均可被验证.此外,PLSMC可以有效地缓解模型检测工具中容易发生的状态空间爆炸问题,最后,利用PLSMC对铁路公路交叉道口护栏控制系统的安全性质和周期性性质进行验证,实验结果表明,PPTL符号模型检测工具扩充了NuSMV系统的验证能力,使得时间敏感、并发性和周期性等实时性质可以被描述和验证.

下载该资料的人也在下载 下载该资料的人还在阅读
更多 >

评论

查看更多

下载排行

本周

  1. 1五、触摸屏基本概念 
  2.   |  7次下载  |  免费
  3. 2硬核创客DIY遥控氦气球飞行器——会飞的鲨鱼的诞生的全过程
  4.   |  6次下载  |  免费
  5. 3第一次使用国产芯片--芯旺微--KungFu--ChipOn
  6.   |  5次下载  |  免费
  7. 4peakcoo分享:soc芯片
  8.   |  5次下载  |  免费
  9. 5RT-thread应用讲解——OTA
  10.   |  4次下载  |  免费
  11. 6Arduino-IDE配置ESP32-CAM开发环境踩过的那些坑
  12.   |  4次下载  |  免费
  13. 7LCD液晶屏连接方式有哪些呢及各自优缺点是什么?
  14.   |  4次下载  |  免费
  15. 8痞子衡嵌入式:MCUXpresso IDE下在线调试时使用不同复位策略的现象总结
  16.   |  4次下载  |  免费

本月

  1. 1348常用实用电路图大全
  2. 7.95 MB  |  161次下载  |  免费
  3. 251单片机之逻辑运算指令ANL、ORL、XRL等
  4. 93.18KB  |  67次下载  |  免费
  5. 3磁环介绍与应用(转)
  6. 214.96KB  |  40次下载  |  免费
  7. 4霍尔编码器原理及测速--PID—arduino
  8.   |  37次下载  |  免费
  9. 5macOS搭建51单片机开发环境
  10. 593.4KB  |  29次下载  |  免费
  11. 6LED开关电源与普通开关电源有什么区别
  12. 84.11KB  |  26次下载  |  免费
  13. 751单片机中断的调用寄存器组(PSW)的作用,以及汇编堆栈的作用,堆栈指针的SP的使用方法,RAM的运行和ROM在单片机具体运行和C语言的优势和中断,定时器基础知识(上)
  14. 595.06KB  |  25次下载  |  免费
  15. 8ad中按钮开关的符号_电工必备基础知识及电路的符号字母大全
  16. 309.45KB  |  24次下载  |  免费

总榜

  1. 1matlab 7.0软件下载(免费破解版)
  2. 1228800  |  934816次下载  |  免费
  3. 2protel99se软件下载(可英文版转中文版)
  4. 78.1 MB  |  537325次下载  |  免费
  5. 3MATLAB 7.1 下载 (含软件介绍)
  6. 1331200  |  419802次下载  |  免费
  7. 4OrCAD10.5下载,OrCAD10.5中文版软件
  8. 817182  |  233661次下载  |  免费
  9. 5Protel DXP2004破解版下载
  10. 未知  |  232858次下载  |  免费
  11. 6电路仿真软件multisim 10.0免费下载
  12. 340992  |  190854次下载  |  免费
  13. 7十天学会AVR单片机与C语言视频教程 下载
  14. 158M  |  183042次下载  |  免费
  15. 8proe5.0野火版下载(中文版免费下载)
  16. 818176  |  137846次下载  |  免费
版权所有 © 深圳华秋电子有限公司 电子发烧友电路图粤公网安备 44030402000349号 电信与信息服务业务经营许可证:粤B2-20160233 工商网监认证工商网监 粤ICP备14022951号