程序正确性验证的代数方法及其研究进展

• 作者: 廖苑蓉 陈光喜
• 来源期刊: 桂林电子科技大学学报
• 学科: 工学
• 关键词: 程序正确性 终止性 不动点 秩函数
• 年，卷（期）: 2013,（1）
• 页码范围: 49-55
• 页数: 7页
• 分类号: TP311
• 字数: 8132字
• 语种: 中文

摘要

程序的完全正确性包括程序的部分正确性和终止性,为了提高程序验证的正确性,介绍了程序正确性的验证方法,包括基于公理化验证程序的完全正确性,基于不动点定理、特征值理论、秩函数、有限差分等验证程序的终止性.最后,总结了各种验证方法的研究现状以及未来发展.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈光喜	桂林电子科技大学数学与计算科学学院	82	455	12.0	16.0
2	廖苑蓉	桂林电子科技大学数学与计算科学学院	3	2	1.0	1.0