Abstract: The complete accuracy of the program include partial correctness and termination. In order to improve the correctness of program verification, the program correctness verification methods are introduced. The methods include those based on the complete accuracy of axiomatic verification procedures, based on the fixed point theorem, eigenvalue theory, rank function, finite difference and knowledge verification program termination. Finally, the various methods of current research and future development are summarized.