|
|||||
|
|
| 一种证明程序正确性的方法 | |
| 引用本文： | 厉海燕,李新明.一种证明程序正确性的方法[J].计算机应用,2001,21(Z1):158-159. |
| 作者姓名： | 厉海燕 李新明 |
| 作者单位： | 装备指挥技术学院电子技术系 |
| 摘 要： | 介绍一种证明程序正确性的方法,并和Floyed_Hoare公理学方法作了一些比较.为了形象的描述该方法,建立了一个抽象模型及一个程序实例,然后相对于这一模型并结合程序,给出了程序正确性的定义及其证明方法. |
| 关 键 词： | 程序证明 程序正确性 程序设计方法学 抽象模型 公理学方法 |
| 文章编号： | 1001-9081(2001)08-0158-02 |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |