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

... mean the following: dB is the abbreviation for Decibel; see Bel DB is a French automobile maker; see DB (car) DB is the abbreviation for Deutsche Bahn, the majo ...