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

... \sqrt {b^2-4ac}</math> in the formula should be understood as "either of those element(s) of the field whose square equals b2 - 4ac". In some fields, ...