This paper presents the steps of the formal derivation method of programs by the development of two problems.
以两个问题的程序开发为例说明了程序的形式推导方法的使用。
Whether the standard proof and formal derivation of the complex algorithmicprograms can be implemented is an important sign for checking if a formal method has vitality.
能否实现复杂算法程序的规范证明和形式推导是检验某种形式化方法有无生命力的重要标志。
应用推荐