Program verification
From Wikipedia, the free encyclopedia.

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

The original article can be found at: http://en.wikipedia.org/wiki/Program_verification.
All text is available under the terms of the GNU Free Documentation License.