摘要
介绍了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.
出处
《软件导刊》
2009年第2期24-27,共4页
Software Guide
基金
宁夏自然科学基金项目(NZ0725)
