| 程序正确性证明的一种方法 |
| |
| 引用本文： | 王凤林 嵇琦. 程序正确性证明的一种方法[J]. 大电机技术, 1998, 0(3): 18-22 |
| |
| 作者姓名： | 王凤林 嵇琦 |
| |
| 作者单位： | 哈尔滨投资高等专科学校 |
| |
| 摘 要： | 本形式地描述了一种证明程序能够正确地进行计算的方法,为了做到这一点,这里给出了一个程序及其执行的抽象模型。然后相对于这一模型给出了程序正确性和程序正确性证明的方法。
|
| 关 键 词： | 程序证明 程序正确性 程序设计方法学 |
A Method of Program Correctness proof |
| |
| Wang Fenglin. A Method of Program Correctness proof[J]. Large Electric Machine and Hydraulic Turbine, 1998, 0(3): 18-22 |
| |
| Authors: | Wang Fenglin |
| |
| Affiliation: | Wang Fenglin(Harbin college of Investment)Ji Qi(Heilongjiang First Construction Company) |
| |
| Abstract: | This paper formally describes a method for proving that programs will execute correctly ln order to do this,an abstract model for a program and its execution is give.Then,correctness of programs and proofs of correctness of programs are defined with respect to that model. |
| |
| Keywords: | program proof program correctness programming methodology abstract model |
| 本文献已被 CNKI 维普 等数据库收录！ |
