广义归纳法对程序性质的证明能力探究

• 作者: 丁志义 王科佳 高蓉
• 来源期刊: 软件导刊
• 学科: 工学
• 关键词: 程序验证 良基关系 良基归纳法 测试数据
• 年，卷（期）: 2014,（11）
• 所属期刊栏目: 软件理论与方法
• 页码范围: 33-36
• 页数: 4页
• 分类号: TP301
• 字数: 565字
• 语种: 中文
• DOI: 10.11907/rjdk.143734

摘要

探讨广义归纳法对程序性质的证明能力，特别是良基关系的构造和恰当的选择对减少证明义务的作用，并通过实例加以证明。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	丁志义	宁夏大学数学计算机学院	15	42	4.0	6.0
2	王科佳	宁夏大学数学计算机学院	1	0	0.0	0.0
3	高蓉	宁夏大学数学计算机学院	1	0	0.0	0.0