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

1904

... (1965-1979) February 11 - Sir Keith Holyoake, New Zealand Prime Minister (1960-1972) February 20 - Alexei Kosygin[?], Premier of the Soviet Union[?] (+ 1980) ...