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

Digital Rights Management

... DeCSS). See Professor Edward Felton's freedom-to-tinker Web site (www.freedom-to-tinker.com) for some observations on the DCMA, its proposed successors, and their ...