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

Lake Ronkonkoma, New York

... 19,701 people, 6,700 households, and 5,011 families residing in the town. The population density is 1,549.2/km² (4,010.1/mi²). There are 6,949 housing units ...