The IT Law Wiki

Formal proof

32,080pages on
this wiki
Add New Page
Add New Page Talk0

Definition Edit

A formal proof is

[a] complete and convincing mathematical argument, presenting the full logical justification for each proof step, for the truth of a theorem or set of theorems.[1]

References Edit

  1. Department of Defense, National Computer Security Center, Glossary of Computer Security Terms (NCSC-TG-004, Ver. 1) (Oct. 21, 1988).

Also on Fandom

Random Wiki