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.

Featured Article

Northampton, Suffolk County, New York

... or older. The average household size is 2.96 and the average family size is 3.31. In the town the population is spread out with 29.3% under the age of 18, 9.6% from 18 ...