用Floyd方法证明程序正确性  

Proving the Correctness of Programs by Floyd's Method

作　　者：纪兆辉[1] 

机构地区：[1]淮海工学院基础科学系,江苏连云港222005

出　　处：《淮海工学院学报（自然科学版）》2000年第2期1-3,共3页Journal of Huaihai Institute of Technology:Natural Sciences Edition

摘　　要：介绍 R· W· Floyd关于程序正确性的证明方法 ,并结合一个程序实例 。Introduction is made to Floyd's method to prove the correctness of programs, then the proof of the partial correctness and termination of a given program is adopted to verify the total correctness of the program.

关 键 词：程序终止性 程序正确性 良序集 Floyd方法 

分 类 号：TP311.1[自动化与计算机技术—计算机软件与理论]