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