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

List of rare diseases P

... syndrome[?] Primordial microcephalic dwarfism Crachami type[?] Prinzmetal's variant angina[?] Procarcinoma[?] Proconvertin deficiency, congenital[?] ...