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

... cases: If the discriminant is zero, then there is a repeated solution x, and this solution is real. (Geometrically, this means that the parabola described by the ...