Comment by rocqua

Correctness is taken to mean "The program matches its specification". Or, more literally, "the program is a correct implementation of it's specification".