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

Museums in England

... Gallery[?], Kendal[?] Beatrix Potter Gallery[?], Hawkshead[?] Cumberland Pencil Museum[?], Keswick Dock Museum[?], Barrow-in-Furness[?] Kendal Museum[?] Museum of ...