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

... side of the Christian life, and in order to compass the whole of it they must be supplemented by counsels for integrity, bravery and constancy in the struggle of ...