Glossaria.net

Glossary Computer Security / Term

formal proof

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.

Permanent link formal proof - Creation date 2020-06-27


< Formal Development Methodology Glossary / Computer Security formal security policy model >