期刊文章详细信息
程序正确性证明及循环不变式的寻找方法
PROOF OF PROGRAM CORRECTNESS AND A METHOD OF GETTING LOOP INVARIANT
文献类型：期刊文章
机构地区：[1]西北师范大学计算机科学系,甘肃兰州730070
基 金：甘肃省教委科研基金资助项目!( 991 -2 2 )
年 份：2000
卷 号：12
期 号：3
起止页码：43-48
语 种：中文
收录情况：ZGKJHX、普通刊
摘 要：重点讨论了与程序验证相关的问题 ,并结合已有的求取循环不变式的方法给出了求已知循环程序的循环不变式的原则。
关 键 词：程序验证 HOARE逻辑 循环不变式 程序正确性
分 类 号：TP311.1]
参考文献：
正在载入数据...
二级参考文献：
正在载入数据...
耦合文献：
正在载入数据...
引证文献：
正在载入数据...
二级引证文献：
正在载入数据...
同被引文献：
正在载入数据...
