正确性证明相关论文
本文利用程序设计方法学的断言,逐步推导论证了一个正确的程序设计,并修正了McCarthy91函数的定义,严密地叙述该定义的函数值的范......
当今,并发程序设计已成为计算机界关注的研究领域.众多学者利用Pteri网、时序逻辑等理论工具进行这一领域的研究.然而,这些理论模......
该文给出了一个JVML子集的在线部分计值器.在线部分计值器是由静态参数的具体值一步计算完成而得到剩余程序,它产生剩余程序的时间......
P vs.NP问题一直是理论计算机科学领域中最为复杂的一个问题,已经被列为世界七大数学难题之首。P vs.NP问题已经吸引了世界上许多......
基于波浪函数的 Fourier-Bessel 系列扩大，与可变 depth-to-width 比率由圆形的圆柱的峡谷事件飞机 SV 波浪散布的 2-D 的一个分析......
正确性是软件系统最重要的质量因素。CSCW的时序逻辑模型全面地描述了CSCW系统的行为，较好地实现了CSCW的系统要求。文章在XYZ系统......
定义了JVML指令序列的程序语义,构造了相关的JVML子集部分计值器并形式化地给出了计值规则,证明了计值规则的正确性,说明了表达式......
地址机制作为互联网体系结构中的核心组成部分,其演进性决定了对上层网络创新应用的承载能力.传统IP地址的缺陷导致当前互联网陷入......
软件的形式化验证是保障软件可证明性、可靠性和安全性的重要手段,但传统形式化验证脚本的生成过程复杂且需要形式化验证专家的大......
针对组合优化类问题定义了代数结构模型，从问题的形式规约出发，通过一阶谓词和量词演算将问题逐步简约为搜索空间更小、复杂度更低的......
