摘要
探讨广义归纳法对程序性质的证明能力,特别是良基关系的构造和恰当的选择对减少证明义务的作用,并通过实例加以证明。
This paper explores the ability of proving the correctness of programs by proving some specific examples ,espe-cially exploring the function of reducing the complexity of proving program by building well-founded relation .In addition , the generalized induction is also an important supplement for program verification technique to assist proving the correct-ness of programs.
出处
《软件导刊》
2014年第11期33-36,共4页
Software Guide
基金
自治区级大学生创新创业训练计划项目(13SJ102)
关键词
程序验证
良基关系
良基归纳法
测试数据
Program Verification
Well-founded Relation
Well-Ordered Induction
Test Data
作者简介
王科佳（1993-），女，福建厦门人，宁夏大学数学计算机学院学生，研究方向为应用数学.
高蓉（1993-），女，宁夏固原人，宁夏大学数学计算机学院学生，研究方向为应用数学.
丁志义（1968-），男，宁夏固原人，博士，宁夏大学数学计算机学院教授、硕士生导师，研究方向为软件形式化方法。
