资料介绍
模型检测是通信顺序进程(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.实验结果表明:与类似系统相比,该系统的描述能力更强,验证结果的准确性更高,且可同时验证多条性质,在性质不满足时还可提供多条反例.
下载该资料的人也在下载
下载该资料的人还在阅读
更多 >
- 基于无人机图像的两阶段销钉缺陷检测模型 39次下载
- 基于EBPNN模型的遥感图像变化检测 24次下载
- 一种多维时间序列汽车驾驶异常点检测模型 2次下载
- UXGA-CMOS图像传感器GC2145 CSP数据手册 29次下载
- VGA CMOS图像传感器GC032A CSP数据手册 97次下载
- 基于YOLO改进的轻量级交通标识检测模型 12次下载
- 可解决ASP下载器在win系统中问题的驱动器 0次下载
- 结合背景与前景的RGB-D图像显著性检测模型 20次下载
- 一种脱离预训练的多尺度目标检测网络模型 26次下载
- 基于神经网络的遥感图像飞机目标检测模型 17次下载
- 基于深度学习的疲劳驾驶检测算法及模型 23次下载
- 针对社交媒体的评论讽刺检测模型 5次下载
- 如何才能构建ASP NET的应用程序 3次下载
- 基于ASP_NET三层架构的MDA模型变换_李颖颖 0次下载
- 基于遗传算法的变迹叉指换能器进化设计 29次下载
- BGA和CSP封装技术详解 60次阅读
- MATLAB在追迹光线计算中的应用 61次阅读
- 开发CSP产品需要解决的技术问题 81次阅读
- 软件漏洞检测场景中的深度学习模型实证研究 79次阅读
- 目标检测多模型集成方法总结 312次阅读
- 如何使用TensorRT框架部署ONNX模型 1879次阅读
- 边缘的超低功耗关键短语检测 353次阅读
- EAST模型结构 1128次阅读
- 利用视觉语言模型对检测器进行预训练 702次阅读
- CSP封装是什么?具有什么特点 1.9w次阅读
- 如何构建检测信用卡诈骗的机器学习模型? 2510次阅读
- 海迪科研发新型光源WLCSP解决CSP技术屏障问题 3861次阅读
- CSP LED封装技术会成为主流吗? 1w次阅读
- CSP封装的散热挑战 827次阅读
- 什么是CSP封装,CSP封装量产测试的问题及解决方案研究 6935次阅读
下载排行
本周
- 1使用光敏电阻和LED灯的环境光传感器
- 0.63 MB | 13次下载 | 免费
- 2国民技术N32G4FR使用MMU进行多用户场景下的FLASH分区保护
- 1.42 MB | 6次下载 | 免费
- 3为 FPGA 供电简便易行 -写给采用 FPGA 的数字工程师
- 124.58KB | 5次下载 | 免费
- 4国民技术N32G43XCL-STB开发板资料
- 1.40 MB | 5次下载 | 免费
- 510KW的车载OBC电路图
- 1.31 MB | 4次下载 | 1 积分
- 6自动驾驶汽车开源分享
- 0.01 MB | 4次下载 | 免费
- 7信号链中的"桥接"知识
- 198.14KB | 3次下载 | 免费
- 8建立在LED点阵显示器上的蛇百科
- 0.60 MB | 3次下载 | 免费
本月
- 1射频工程师必备的二十个经典模拟电路
- 0.28 MB | 60次下载 | 免费
- 2现代电源设计大全
- 7.23 MB | 46次下载 | 免费
- 3模拟电子技术基础
- 5.50 MB | 34次下载 | 1 积分
- 4人脸识别开源分享(原理图+PCB+源码)
- 1.88 MB | 33次下载 | 免费
- 5无线电的基础知识分享
- 0.10 MB | 24次下载 | 免费
- 6手机各电路工作原理及故障检修(射频电路篇)
- 1.85 MB | 22次下载 | 免费
- 7反激式开关电源设计说明
- 2.56 MB | 17次下载 | 免费
- 8pcb资料分享
- 8.30 MB | 15次下载 | 免费
总榜
- 1matlab软件下载入口
- 未知 | 934976次下载 | 免费
- 2protel99se软件下载(可英文版转中文版)
- 78.1 MB | 537653次下载 | 免费
- 3MATLAB 7.1 下载 (含软件介绍)
- 1331200 | 419948次下载 | 免费
- 4OrCAD10.5下载,OrCAD10.5中文版软件
- 817182 | 234185次下载 | 免费
- 5Altium DXP2002下载入口
- 未知 | 232962次下载 | 免费
- 6数据采集系统基础知识视频
- 16.3 MB | 192989次下载 | 免费
- 7电路仿真软件multisim 10.0免费下载
- 340992 | 191040次下载 | 免费
- 8十天学会AVR单片机与C语言视频教程 下载
- 158M | 183170次下载 | 免费
评论
查看更多