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

Kuru Kuru Kururin

... a level there are bonuses to collect, record times to beat, and a gold star for getting through the level without any accidents. Kururin was released in Japan and ...