本文阐明了程序正确性证明的重要意义与其内涵,给出了程序的正确性证明的构思。并通过一个具体实例说明了程序的正确性证明的方法和步骤。
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.
本文阐明了程序正确性证明的重要意义与其内涵,给出了程序的正确性证明的构思。并通过一个具体实例说明了程序的正确性证明的方法和步骤。
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.
应用推荐