| 关于程序验证方法的讨论 |
| |
| 引用本文： | 周青. 关于程序验证方法的讨论[J]. 计算机科学, 1995, 22(3): 58-60 |
| |
| 作者姓名： | 周青 |
| |
| 作者单位： | 中山大学计算机软件研究所 广州 |
| |
| 摘 要： | 一、引言 自从1967年Floyd发表其论文“给程序赋予意义以来,程序自动验证工具的研究持续了数十年。Floyd在文[4]中提出了用“断言式方法”证明程序的正确性。其具体作法是:在程序程图的每一条
|
| 关 键 词： | 程序验证方法 逻辑推理 数理逻辑 程序正确性 |
On Methods of Program Verification |
| |
| Zhou Qing. On Methods of Program Verification[J]. Computer Science, 1995, 22(3): 58-60 |
| |
| Authors: | Zhou Qing |
| |
| Abstract: | The researching in the program correctness verification has been taken decades,but so far as we know no substantial progress has been made. In this paper,we attempt to discuss the prob-lem,including a discussion on the weakness in traditional methods and existance of a new method. |
| |
| Keywords: | Syntactical function Semantical function Program verification. |
| 本文献已被 CNKI 维普 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
