软件模型检测相关论文
软件模型检测是一种使用形式化方法验证软件可靠性的重要技术方法。根据采用方法逼近方向的不同,软件模型检测可以分为上逼近方法......
随着计算机软硬件系统日趋复杂,提高系统可靠性的验证技术日益受到重视.模型检测(modelchecking)以自动化程度高,实用性强而引人注......
本文旨在研究软件模型检测及其工具实现，包括模型的表示、检测的算法、实现方案、案例分析和如何与软件开发过程相结合等问题。......
随着软件的广泛应用，特别是软件在尖端领域的应用，软件的可靠性成为一个非常重要的问题。软件的可靠性主要取决于软件开发的方法与过......
近年来,软件应用在工业、农业、军事、科研等领域有了更加广泛的应用。随着应用的更广泛,代码规模的增大、软件系统的复杂度提高、......
本文结合某可靠性苛求模块检测的实际需求，抽象出存储为主的模块的概念和特点，并在其基础上分析了BMC方法的适用性，给出了以BMC为核心......
针对一种结合最大接受前驱的on-the-fly并行空性检测方法,在接受环最大接受前驱处于环外的情境,无法通过传播接受前驱以on-the-fly......
软件模型检测以其潜在的商业价值一直为学术界和工业界关注．本文通过剖析模型检测工具SLAM，探讨软件模型检测的机理、方法及若干核心......
如何保证软件系统的正确性和可靠性是当前软件开发面临的主要问题之一。模型检测作为一种重要的自动化验证技术在软件的分析与验证......
Abstract-Refine(抽象—精炼)方法是软件模型检测领域中较为有效的设计思想,具有较高的通用性和效率优势,但目前并没有一个框架可......
模型检测应用于检测软件可靠性具有重要意义。介绍了一种基于谓词抽象和反例引导抽象求精技术对源程序进行建模和验证的模型检测方......
针对软件模型检测目前很难处理大型程序的问题，提出用程序重构技术对待检的源代码进行预处理，以提高模型检测算法的效率．程序重构将大......
为了验证Web服务的正确性和可靠性等性质以及提高Web服务流程验证的自动化程度,提出了一种适合构造BPEL4WS（Web服务的业务流程执行......
通过对近年来软件模型检测领域流行的几种技术进行综述,提出了一种基于层次单元划分,使用引导式搜索方式的软件模型检测方案。本方......
提出用条件化技术对程序进行预处理的方案，以克服软件模型检测中状态空间爆炸问题。以程序性质公式中蕴涵式的前件作为约束条件，通过......
并行化是提高模型检测效率的重要手段。该文研究了基于标号迁移系统的C程序模型检测，提出一种软件模型检测并行化的方法。该方法利......
在验证多线程并发程序时,将基于无状态或有状态搜索的软件模型检测与动态偏序归约方法相结合,能大幅缩减待验证程序的状态空间,而......
随着软件规模不断扩大,内部结构愈发复杂,应用环境日益开放,软件可信性已成为人们广泛关注的热点。在软件开发的不同阶段,软件可信......
为了提高大规模软件系统的可靠性和安全性,程序的形式化验证受到广泛关注。传统模型检测方法需要从源代码中提取模型,然而,随着程......
针对软件模型检测中的状态爆炸问题,提出将程序条件化技术用于软件状态空间缩减的方案.以程序性质的线性时序逻辑公式可能出现的蕴......
