【摘要】 阐述了形式推导方法的基本理论和基本思想 .程序的形式推导方法是一种基于程序正确性证明理论的程序开发方法 ,它使得程序的开发与证明同时进行 .以实例说明了程序形式推导方法的使用 .更多还原

【Abstract】 This paper expounds the basic theory and basic ideas of Formal derivation method of programs.Formal devivation of programs is a developing method of programs based on the proof theory of program correctness.It can make the proof process and the devolopment of the program in progress in the meantime.And this paper illustrates how to use formal derivation of programs.更多还原