软件导刊
軟件導刊
연건도간
SOFT WARE GUIDE
2014年
11期
33-36
,共4页
程序验证%良基关系%良基归纳法%测试数据
程序驗證%良基關繫%良基歸納法%測試數據
정서험증%량기관계%량기귀납법%측시수거
Program Verification%Well-founded Relation%Well-Ordered Induction%Test Data
探讨广义归纳法对程序性质的证明能力，特别是良基关系的构造和恰当的选择对减少证明义务的作用，并通过实例加以证明。
探討廣義歸納法對程序性質的證明能力，特彆是良基關繫的構造和恰噹的選擇對減少證明義務的作用，併通過實例加以證明。
탐토엄의귀납법대정서성질적증명능력，특별시량기관계적구조화흡당적선택대감소증명의무적작용，병통과실례가이증명。
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.
