程序正确性证明方法研究 |
| |
引用本文: | 苏敏,丁志义.程序正确性证明方法研究[J].人天科学研究,2009(2). |
| |
作者姓名: | 苏敏 丁志义 |
| |
作者单位: | 宁夏大学数学与计算机学院 |
| |
基金项目: | 宁夏自然科学基金项目(NZ0725) |
| |
摘 要: | 介绍了R.W.Floyd的证明程序部分正确性的归纳断言法和证明程序终止性的良序集法,以及Hoare公理系统。
|
关 键 词: | 良序集 Hoare公理系统 |
Research on Method of Program Correctness Proofs |
| |
Abstract: | This paper introduces the R.W. Floyd proved the correctness of some procedures Inductive assertion method and certification procedures to terminate the Well-Ordered Sets method. In addition, the certification procedures correctness of the method still Hoare Ax- iomatic system. |
| |
Keywords: | Well-Ordered Sets Hoare Axiomatic system |
本文献已被 维普 等数据库收录! |