命题投影时序逻辑相关论文
程序规范是软件工程的重要组成部分,缺乏程序规范的软件其质量和可靠性均难以得到保证。现实中的程序规范大多数使用自然语言撰写,......
作为一种自动化的程序验证方法,近几十年来模型检测技术在软硬件程序、通信协议以及安全协议等领域的正确性分析和验证中得到了广......
目前软件工业界面临着产品功能越来越复杂和推出产品周期越来越短的双重压力。软件工程的一个主要目标就是在复杂性增加的情况下仍......
目前,软件工业面临着产品功能越来越复杂和推出产品周期越来越短的双重压力。软件工程的一个主要目标就是在复杂性增加的情况下仍......
模型检测是一种形式化验证方法，目前已经得到了广泛的发展和应用。本文给出的是一种基于命题投影时序逻辑（Propositional Projection......
随着计算机技术的发展,各种应用软件逐渐深入到人们日常生活的各个领域。但是应用软件的微小错误都可能对人们造成极其负面的影响,......
随着计算机技术的蓬勃发展,各种应用软件已经成为人们生活中的重要组成部分,如何提高软件的可靠性与安全性则成为了计算机领域中的......
针对软件开发过程中测试自动化程度低的问题，在研究基于模型的测试用例生成技术的基础上，提出了一种基于UML2．0序列图与用例描述的测......
统一建模语言(United Modeling Language, UML)是一种描述功能强大且含义直观的可视化建模语言,它提供了多种图元,能够从不同角度......
为缓解模型检测的状态空间爆炸问题,提出一种基于命题投影时序逻辑的分布式模型检测方法。通过标记范式图技术将命题投影时序逻辑......
为了提高大规模软件系统的可靠性和安全性,程序的形式化验证受到广泛关注。传统模型检测方法需要从源代码中提取模型,然而,随着程......
为了确保软件分析与设计阶段UML2.0序列图模型的可靠性,采用命题投影时序逻辑（propositional projection temporal logic,简称PPTL）......
随着计算机技术的飞速发展,世界各国由于软件错误带来的灾难数不胜数。软件系统的正确性、可靠性、安全性对人们的日常生活和国防......
