Program verification

From Wacklepedia - The Free Encyclopedia

Program Verification - the process of formally proving that a computer program does exactly what is stated in the program specification it was written to realize.