期刊文章详细信息
一种证明程序正确性的方法
文献类型：期刊文章
机构地区：[1]装备指挥技术学院电子技术系,北京怀柔101416
年 份：2001
卷 号：21
期 号：z1
起止页码：158-159
语 种：中文
收录情况：AJ、BDHX、BDHX2000、CSA、CSA-PROQEUST、CSCD、CSCD2011_2012、IC、INSPEC、JST、RCCSE、ZGKJHX、ZMATH、核心刊
摘 要：介绍一种证明程序正确性的方法 ,并和Floyed—Hoare公理学方法作了一些比较。为了形象的描述该方法 ,建立了一个抽象模型及一个程序实例 ,然后相对于这一模型并结合程序 。
关 键 词：程序证明 程序正确性 程序设计方法学 抽象模型 公理学方法
分 类 号：TP311.11]
参考文献：
正在载入数据...
二级参考文献：
正在载入数据...
耦合文献：
正在载入数据...
引证文献：
正在载入数据...
二级引证文献：
正在载入数据...
同被引文献：
正在载入数据...
