Glossaria.net

Glossary Computer Security / Term

formal verification

The process of using formal proofs to demonstrate the consistency between a formal specification of a system and a formal security policy model (design verification) or between the formal specification and its high level program implementation (implementation verification).

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


< Formal Top-Level Specification (FTLS) Glossary / Computer Security front-end security filter >