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

Bullying

... is a term for someone with absolute governmental power, from the Greek language turannos. In Classical Antiquity[?] it did not always have inherently negative ...