程序证明相关论文
合同公证,是公证机构依法定程序证明当事人之间签订合同的行为,以及合同内容真实、合法的活动,是公证机构的主要业务。然而,在公证......
描述了证明抽象程序和具体程序满足一致性关系的方法.抽象程序使用抽象数据结构（ADTs）,如set,list,map及其上的操作.具体程序使用类C......
介绍一种证明程序正确性的方法 ,并和Floyed—Hoare公理学方法作了一些比较。为了形象的描述该方法 ,建立了一个抽象模型及一个程......
介绍了软件开发方法中的一种形式化分析方法:Vienna Development Method(VDM).阐述了形式化分析方法的特点,具体说明了维也纳分析......
