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

... enumerates 545 Latin and about 900 French editions. Originally written in Latin, a French translation was made as early as 1447, which still re ...