摘要
探讨广义归纳法对程序性质的证明能力,特别是良基关系的构造和恰当的选择对减少证明义务的作用,并通过实例加以证明。
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