Key points are not available for this paper at this time.
The most commonly used method of validating a program is by testing. The programmer typically runs the program on some test cases, and if and when they run correctly, the program is considered to be correct.
Davis et al. (Thu,) studied this question.