作者：李芳程序的正确性程序的部分正确性程序的终止性不变式断言法计数器方法检验条件程序正确性证明终止性完全正计数器
摘要：本文介绍了什么是程序的完全正确性、部分正确性、终止性,并通过实例,介绍了利用不变式断言法和计数器方法分别证明程序的部分正确性和终止性的具体方法步骤.
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
《信息技术与信息化》（CN：37-1423/TN）是一本有较高学术价值的大型月刊，自创刊以来，选题新奇而不失报道广度，服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《信息技术与信息化》从信息技术的研究、应用角度展现IT行业与科技发展与进步，是全国高校、科研院所、企业发表信息科学研究、技术应用成果的园地。
省级期刊
人气 650503 评论 60
部级期刊
人气 442929 评论 71
人气 366639 评论 69
人气 274304 评论 67
