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

... or Hammerlein, "little hammer." In 1395 he was sent to the school at Deventer conducted by the Brethren of the Common Life[?]. He became skilful as a copyist ...