Search the Kids Internet
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.
See Also Turing machine
All Wikipedia text is available under the terms of the GNU Free Documentation License
|
Search Encyclopedia
|
Featured Article
|