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

Thomas a Kempis

... 2,000; and 1,000 different editions are preserved in the British Museum. The Bullingen collection, donated to the city of Cologne in 1838, contained at the time 400 ...