community
directory
books
authors
images
encyclopedia
Email:
Password:
Register

Knowledgerush Search

 
Google
  Web knowledgerush


Search for images of Program verification


Message boards   Post comment

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

Referenced By

Comp.sc. | Computer Science | Computer Sciences | Computer Scientists | Computer scientist | Computing science | Formal semantics | Formal semantics of programming languages | Hygienic macro | Scheme Links | Scheme programming language | Semantics of programming languages

 

Compose Your Message

Your Email Address or Pen Name (optional):
Subject:
Your Message:
 

 

 

 

 

 

This article is licensed under the GNU Free Documentation License. It uses material from the Wikipedia article "Program verification".

 

Contact Us | Privacy Statement & Terms of Use

 
Copyright © 1999-2003 Knowledgerush.com. All rights reserved.