Program correctness makes sense only within the context of its
A program is correct if it meets its specifications in all cases.
Program halts for each valid input.
Answer produced when program halts is correct.
A program is not correct if there is at least one case in which it does not
meet its specifications.
There are two main approaches to determine the correctness of a program:
created 3 January 2007 |
last revised 7 January 2007