程序证明相关论文
本文采用高斯误差传递公式来分析平面扫描算法中浮点数的计算误差。通过这个方法,可以提前计算得到一个浮点数并将其设定为动态容......
本文首次将人工神经网络应用于水泥土重力式支护结构水平变形的预测中,并通过自编程序证明了该法的可行性,得出的结论对设计和施工......
合同公证,是公证机构依法定程序证明当事人之间签订合同的行为,以及合同内容真实、合法的活动,是公证机构的主要业务。然而,在公证......
在介绍程序正确性的定义和良序集的概念基础上，对良序集证明程序终止性思路和步骤进行了分析，利用实例来证明程序的终止性。......
描述了证明抽象程序和具体程序满足一致性关系的方法.抽象程序使用抽象数据结构（ADTs）,如set,list,map及其上的操作.具体程序使用类C......
本文介绍了基于微机的归纳法推理系统。用该系统，作者已证明了一批计算机程序的正确性及一些有价值的程序属性，包括算术表达式编译程......
...
介绍一种证明程序正确性的方法 ,并和Floyed—Hoare公理学方法作了一些比较。为了形象的描述该方法 ,建立了一个抽象模型及一个程......
本文形式地描述了一种证明程序能够正确地进行计算的方法，为了做到这一点，这里给出了一个程序及其执行的抽象模型。然后相对于这一模......
《计算机科学》（Computer Science）课程是中外合作办学方向计算机科学专业的核心基础课程,其理论性强,内容抽象。本文从如何搞好课堂......
介绍了软件开发方法中的一种形式化分析方法:Vienna Development Method(VDM).阐述了形式化分析方法的特点,具体说明了维也纳分析......
