The IT Law Wiki

Proof of correctness

32,299pages on
this wiki
Add New Page
Talk0 Share

Definition Edit

Proof of correctness is

[t]he use of mathematical logic to infer that a relation between program variables assumed true at the program entry implies that another relation between program variables holds at program exit.[1]

References Edit

  1. Auditing and Financial Management: Glossary of EDP Terminology, at 13.

See also Edit

Ad blocker interference detected!

Wikia is a free-to-use site that makes money from advertising. We have a modified experience for viewers using ad blockers

Wikia is not accessible if you’ve made further modifications. Remove the custom ad blocker rule(s) and the page will load as expected.

Also on Fandom

Random Wiki