Science Fair Project Encyclopedia
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
10-26-2009 08:16:03
The contents of this article is licensed from www.wikipedia.org under the GNU Free Documentation License. Click here to see the transparent copy and copyright details
The contents of this article is licensed from www.wikipedia.org under the GNU Free Documentation License. Click here to see the transparent copy and copyright details


