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

Rameses

... III Ramses IV[?] The name means "Child of the Sun". This is a disambiguation page; that is, one that just points to other pages that might otherwise ...