Find The Links, Alternative Search Engine

Email Log In 

'

Alternative Search Engine

<<Up     Contents

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

    Add Your Site | Contact Us
     Terms of Use | Privacy Statement | All text is available under the terms of the GNU Free Documentation License