关于程序正确性证明的进一步探讨
李芳
泰山学院计算机系,泰安,271021
摘要：本文介绍了什么是程序的完全正确性、部分正确性、终止性,并通过实例,介绍了利用不变式断言法和计数器方法分别证明程序的部分正确性和终止性的具体方法步骤.
关键词：程序的正确性程序的部分正确性程序的终止性不变式断言法计数器方法检验条件
分类号：TP3(计算技术、计算机技术)
论文发表日期：2005-01-01
在线出版日期：2026-05-22（本平台首次上网日期，不代表文献的发表时间）
页数：3( 66-67,116 )
英文信息