Program verification
Program Verification - 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 Turing machine
| ENCYCLOPEDIA 4U .com |
Encyclopedia Home Page |
|
|
Program verificationProgram Verification - 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 Turing machine 
|
Content on this web site is provided for informational purposes only. We accept no responsibility for any loss, injury or inconvenience sustained by any person resulting from information published on this site. We encourage you to verify any critical information with the relevant authorities.
This article is licensed under the GNU Free Documentation License. It uses material from the Wikipedia article "Program verification".