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

French resistance

... On June 10 major Otto Dickmann[?]’s troops wiped out the village of Oradour-sur-Glane in retaliation. German intelligence did not give up, either. Hugo Bleich ...