论文部分内容阅读
本文介绍了什么是程序的完全正确性、部分正确性、终止性,并通过实例,介绍了利用不变式断言法和计数器方法分别证明程序的部分正确性和终止性的具体方法步骤.
关于程序正确性证明的进一步探讨
【摘 要】
：
本文介绍了什么是程序的完全正确性、部分正确性、终止性,并通过实例,介绍了利用不变式断言法和计数器方法分别证明程序的部分正确性和终止性的具体方法步骤.
【机 构】
：
泰山学院计算机系
【出 处】
：
信息技术与信息化
【发表日期】
：
2005年4期
其他文献
本文论述了检测与排除微机故障的有效思路,以及从多年实践中总结出来的经验数据在故障处理中的有效运用,并对排除故障的方法与技巧进行了较深入的探讨.
一年多来, 被业界追捧和媒体热炒的RFID(射频识别)技术及 EPC(电子标签),在沃尔玛、麦德龙和塔斯科提出使用RFID系统供货计划后, 引发了供应商们开展一系列与RFID有关的疯狂