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

Battle Creek, Michigan

... Contents Battle Creek, Michigan Battle Creek redirects here. There is also Battle Creek, Nebraska. Battle Creek is a city in Michigan. It is the county seat of ...