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

Search over one million articles, find something about almost anything!
 
 
  
  Featured Article
Shinnecock Hills, New York

... the town the population is spread out with 13.8% under the age of 18, 34.0% from 18 to 24, 17.6% from 25 to 44, 20.5% from 45 to 64, and 14.1% who are 65 years of age or ...

 
 
 
This page was created in 42.5 ms