电子发烧友App

硬声App

创作
电子发烧友网>电子资料下载>电子论文>测试测量论文>基于关键迹和ASP的CSP模型检测

基于关键迹和ASP的CSP模型检测

2018-01-23 | rar | 0.96 MB | 次下载 | 2积分

资料介绍

  模型检测是通信顺序进程(communicatmg sequenTIal processes,简称CSP)形式化验证的重要手段.当前,CSP模型检测方法基于操作语义,需将进程转化为迁移系统,进而提取语义模型,但转化过程较为复杂;待验证性质采用CSP语言进行描述,虽然有利于精炼检测(refinement checking),但描述能力较弱,通用性不强.鉴于此,提出了一种新的CSP指称语义模型一一关键迹模型(criTIcal-trace model)及基于该指称语义模型的CSP模型检测方法,并证明了其验证的可靠性,避免了上述问题.关键迹模型采用递归策略计算,待验证性质采用线性时态逻辑(linear temporal logic,简称LTL)描述,基于回答集程序设计(answer set programming,简称ASP)实现了关键迹模型的自动生成及LTL的自动验证,并开发了一个CSP模型检测原型系统-T ASP.实验结果表明:与类似系统相比,该系统的描述能力更强,验证结果的准确性更高,且可同时验证多条性质,在性质不满足时还可提供多条反例.

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

评论

查看更多

下载排行

本周

  1. 1五、触摸屏基本概念 
  2.   |  7次下载  |  免费
  3. 2硬核创客DIY遥控氦气球飞行器——会飞的鲨鱼的诞生的全过程
  4.   |  6次下载  |  免费
  5. 3第一次使用国产芯片--芯旺微--KungFu--ChipOn
  6.   |  5次下载  |  免费
  7. 4peakcoo分享:soc芯片
  8.   |  5次下载  |  免费
  9. 5树莓派 ADC模块 ADS1115 16位 模数转换器(python3)
  10.   |  4次下载  |  免费
  11. 6微控制器,微处理器_微控制器与微处理器
  12.   |  4次下载  |  免费
  13. 7MicroPython 从入门到入土(一) Micro Python 移植 2021最新
  14.   |  4次下载  |  免费
  15. 8RT-thread应用讲解——OTA
  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. 8第十二届蓝桥杯单片机省赛题目解析
  16. 642.49KB  |  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号