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

摘要：

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

关键词：程序正确性、终止性、不动点、秩函数

所属期刊栏目：33

分类号：TP311(计算技术、计算机技术)

资助基金：广西可信软件重点实验室开放基金KX201213

在线出版日期：2013-07-19（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：49-55