有界模型检验相关论文
随着社会信息化程度的不断提高,计算机在各行各业扮演的角色越来越重要,软件系统的安全问题也因此愈发受到重视。而C语言在航空航......
针对一类中断驱动的航天控制系统,给出了有界模型检验的算法.这类系统由中断处理程序和操作系统调度的任务组成.当中断发生时,对应......
为有界模型检验提出了改进的子句规则。在节点分类的基础上。首先对精简布尔电路表示进行逻辑化简，去掉功能冗余节点；然后识别、记录......
随着计算机技术应用的日益广泛和深入,软件系统的规模和复杂性不断增大,系统各部分之间的交互及时间约束成为软件需求和设计的重要......
针对面向服务架构（SOA）体系的Web服务数量快速增长现状,为实现大规模服务场景下高效自动组合Web服务来满足用户复杂需求问题,提出一......
传感网是一种由具有感知、处理和无线通信能力的传感器节点通过自组织方式形成的一种多跳网络。随着传感网的迅速发展，传感网软件的......
基于决策图的字级模型检验方法虽然能完全验证运算电路，但它从有缺陷的设计中发现系统规范的反例所需时间较长．而基于SAT的有界模型......
