程序正确性证明方法研究  

Research on Method of Program Correctness Proofs

作　　者：苏敏[1] 丁志义[1] 

机构地区：[1]宁夏大学数学与计算机学院,宁夏银川750021

出　　处：《软件导刊》2009年第2期24-27,共4页Software Guide

基　　金：宁夏自然科学基金项目(NZ0725)

摘　　要：介绍了R.W.Floyd的证明程序部分正确性的归纳断言法和证明程序终止性的良序集法,以及Hoare公理系统。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 Axiomatic system.

关 键 词：良序集 Hoare公理系统 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]