This paper presents the steps of the formalderivation method of programs by the development of two problems.
以两个问题的程序开发为例说明了程序的形式推导方法的使用。
2
Whether the standard proof and formalderivation of the complex algorithmicprograms can be implemented is an important sign for checking if a formal method has vitality.