循环不变式相关论文
该文对二叉树类问题进行分划，寻找其递推关系，并针对具有队列递推关系的一类问题，给出了其推导过程和形式化证明策略.再结合每个算法......
本文利用程序设计方法学的断言,逐步推导论证了一个正确的程序设计,并修正了McCarthy91函数的定义,严密地叙述该定义的函数值的范......
该文研究的主要目标是利用薛教授在开发循环不变式的新策略中提出的递归定义思想,探索一类递归定义问题的循环不变式开发技术,并应......
随着软件规模变得越来越大，自动化测试的效率也越来越重要。在软件测试领域，有大量的测试用例需要执行，每条用例对应的执行代码的逻辑......
高可靠性软件是当今软件开发的热点问题.确保算法程序逻辑结构正确最理想途径是算法程序的形式化推导和证明。循环不变式在软件形......
算法是对问题求解过程的精确描述,它不仅是计算机科学的一个分支,更是计算机科学的核心,可以毫不夸张地说,它同大多数科学、商业和......
分形理论在通信、现代医学、流体力学、纺织科学、工业设计、文化艺术、计算机科学等学科也得到广泛的应用。形式化方法是一种基于......
当今世界是一个软件定义一切的时代,尤其在安全攸关领域,需要保证计算机程序的可靠运行。这种可靠性可以通过向程序传递所有可能的......
随着计算机的发展,软件在各行各业已扮演着越来越重要的角色。自2007年“可信软件基础研究”重大研究计划启动以来,我国投入了大量......
在指针程序的分析和验证过程中,循环不变式的自动推断一直是个研究热点.文章首先介绍所提出的形状图和形状图逻辑,形状图逻辑是一......
