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

Sanskrit language

... hay ai - aisle o - snow au - pow Vowels can be nasalized[?]. Consonants Sanskrit has a voiceless, voiceless aspirate, voiced, voiced aspirate, and nasal stop at ...