Jump to content

Program verification

Add links
From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by Vovkav~enwiki (talk | contribs) at 09:07, 3 August 2002 (stub). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.
(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

Program Verification - the process of formal proving, that the Computer program does exactly what is stated in the algorithm it was written to realize.

See Also Turing machine

Retrieved from "https://en.wikipedia.org/w/index.php?title=Program_verification&oldid=571568"