本文阐明了程序正确性证明的重要意义与其内涵，给出了程序的正确性证明的构思。并通过一个具体实例说明了程序的正确性证明的方法和步骤。

This paper clarifies the significance of proving the correction of the program and its connotation, presents the thought about proving, and illustrates the method and the steps.

youdao

本文阐明了程序正确性证明的重要意义与其内涵，给出了程序的正确性证明的构思。并通过一个具体实例说明了程序的正确性证明的方法和步骤。

This paper clarifies the significance of proving the correction of the program and its connotation, presents the thought about proving, and illustrates the method and the steps.

youdao