| 关于程序正确性证明的进一步探讨 |
| |
| 引用本文： | 李芳.关于程序正确性证明的进一步探讨[J].信息技术与信息化,2005,9(4):66-67,116. |
| |
| 作者姓名： | 李芳 |
| |
| 作者单位： | 泰山学院计算机系,泰安,271021 |
| |
| 摘 要： | 本文介绍了什么是程序的完全正确性、部分正确性、终止性，并通过实例，介绍了利用不变式断言法和计数器方法分别证明程序的部分正确性和终止性的具体方法步骤。
|
| 关 键 词： | 程序的正确性 程序的部分正确性 程序的终止性 不变式断言法 计数器方法 检验条件 程序正确性证明 终止性 完全正 计数器 |
| 收稿时间： | 2005-03-15 |
| 修稿时间： | 2005-03-15 |
Further Research on Correctness of Program |
| |
| LI Fang.Further Research on Correctness of Program[J].Information Technology & Informatization,2005,9(4):66-67,116. |
| |
| Authors: | LI Fang |
| |
| Abstract: | In this paper, the author introduces the full correctness, the part correctness and the completeness by some examples. Meanwhile describes the detailed methods and steps for the testificafion of the part correctness and the completeness by the invariant assertion method and counter method. |
| |
| Keywords: | Correctness of program Part correctness of program Completeness of program Invariant assertion |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
