Encyclopedia > Program verification

Article Content

Program verification

Program Verification - the process of formal proving, that the Computer program does exactly what is stated in the program specification it was written to realize.

Featured Article

Quadratic formula

... term b2 – 4ac is called the discriminant of the quadratic equation, because it discriminates between three qualitatively different cases: If the discriminant is ...