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

... (+ 1964) February 11 - Henry LaBouisse[?], head of UNICEF (1965-1979) February 11 - Sir Keith Holyoake, New Zealand Prime Minister (1960-1972) February 20 ...