Program Correctness

Program correctness makes sense only within the context of its specifications.

There are two main approaches to determine the correctness of a program:


created 3 January 2007
last revised 7 January 2007
previous   next Valid HTML 4.01! Valid CSS!