资料介绍
现有模型检测工具的形式化规范语言。如计算树逻辑(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系统的验证能力,使得时间敏感、并发性和周期性等实时性质可以被描述和验证.
- Verilog复杂时序逻辑电路设计实践
- 常见的单端逻辑电平及电路符号综述 1次下载
- 可检测实时系统的正确性的符号化模型 6次下载
- 一种脱离预训练的多尺度目标检测网络模型 26次下载
- 一种基于检测器集层次聚类的否定选择算法 13次下载
- NDIR气体检测器解决方案和PID气体检测器解决方案
- 时序逻辑电路的学习课件免费下载 18次下载
- 电阻式温度检测器(RTD)基础知识及参考设计
- 车辆检测器的低功耗设计 13次下载
- 时序逻辑电路引论
- 稳健的高效MIMO检测器
- 异步时序逻辑电路 0次下载
- 同步时序逻辑电路 0次下载
- 基于线性时态逻辑的Petri网模型检测研究
- 反射式红外检测器电路及制作
- 电路检测器和电流检测器的区别 319次阅读
- 手机检测器电路图 手机检测器的功能和应用 650次阅读
- 什么是过零检测器 过零检测器的原理 2750次阅读
- 过零检测器的原理 3669次阅读
- 利用视觉语言模型对检测器进行预训练 1238次阅读
- 基于555的声光数字电平检测器电路 2856次阅读
- 时序逻辑电路设计 8199次阅读
- 时序逻辑电路的主要故障分析 6084次阅读
- 逻辑电路图符号大全 23w次阅读
- 荧光检测器工作原理及特点 4.9w次阅读
- 时序逻辑电路由什么组成_时序逻辑电路特点是什么 11w次阅读
- 时序逻辑电路分析有几个步骤(同步时序逻辑电路的分析方法) 12.5w次阅读
- 地磁车辆检测器主要组成部分 4833次阅读
- 微波运动检测器 4083次阅读
- 酸雨检测器 1.6w次阅读
下载排行
本周
- 1HFSS电磁仿真设计应用详解PDF电子教程免费下载
- 24.30 MB | 126次下载 | 1 积分
- 2雷达的基本分类方法
- 1.25 MB | 4次下载 | 4 积分
- 3电感技术讲解
- 827.73 KB | 2次下载 | 免费
- 4从 MSP430™ MCU 到 MSPM0 MCU 的迁移指南
- 1.17MB | 2次下载 | 免费
- 5有源低通滤波器设计应用说明
- 1.12MB | 2次下载 | 免费
- 6RA-Eco-RA2E1-48PIN-V1.0开发板资料
- 35.59 MB | 2次下载 | 免费
- 7钜泉电能计量芯片选型指南(单相、三相电能计量、MCU、SOC)2024
- 2.67 MB | 1次下载 | 免费
- 8BQ25798+TPS25221锂电池和超级电容充电方案
- 1.04MB | 1次下载 | 免费
本月
- 12024年工控与通信行业上游发展趋势和热点解读
- 2.61 MB | 763次下载 | 免费
- 2HFSS电磁仿真设计应用详解PDF电子教程免费下载
- 24.30 MB | 126次下载 | 1 积分
- 3继电保护原理
- 2.80 MB | 36次下载 | 免费
- 4正激、反激、推挽、全桥、半桥区别和特点
- 0.91 MB | 32次下载 | 1 积分
- 5labview实现DBC在界面加载配置
- 0.57 MB | 21次下载 | 5 积分
- 6在设计中使用MOSFET瞬态热阻抗曲线
- 1.57MB | 15次下载 | 免费
- 7GBT 4706.1-2024家用和类似用途电器的安全第1部分:通用要求
- 7.43 MB | 13次下载 | 免费
- 8PADS-3D库文件
- 2.70 MB | 10次下载 | 2 积分
总榜
- 1matlab软件下载入口
- 未知 | 935113次下载 | 10 积分
- 2开源硬件-PMP21529.1-4 开关降压/升压双向直流/直流转换器 PCB layout 设计
- 1.48MB | 420061次下载 | 10 积分
- 3Altium DXP2002下载入口
- 未知 | 233084次下载 | 10 积分
- 4电路仿真软件multisim 10.0免费下载
- 340992 | 191360次下载 | 10 积分
- 5十天学会AVR单片机与C语言视频教程 下载
- 158M | 183329次下载 | 10 积分
- 6labview8.5下载
- 未知 | 81578次下载 | 10 积分
- 7Keil工具MDK-Arm免费下载
- 0.02 MB | 73804次下载 | 10 积分
- 8LabVIEW 8.6下载
- 未知 | 65985次下载 | 10 积分
评论
查看更多