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