The IT Law Wiki
Don't have an account?
Register
The IT Law Wiki
Register
in: Definition, Mathematics, Software

Proof of correctness

Sign in to edit

Definition[]

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[]

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

See also[]

Community content is available under CC-BY-SA unless otherwise noted.