The Program verification reference article from the English Wikipedia on 24-Apr-2004 (provided by Fixed Reference: snapshots of Wikipedia from wikipedia.org)

Program verification

Program Verification is the process of formally proving that a computer program does exactly what is stated in the program specification it was written to realize.

See also Formal verification

This article is a stub. You can help Wikipedia by expanding it.

This is the "Program verification" reference article from the English Wikipedia. All text is available under the terms of the GNU Free Documentation License. See also our Disclaimer.