Question 20
For which of the following purposes is it appropriate to prove correctness of a program?