Glossary term

Formal Verification

Checking the correctness of a system using cryptographic algorithms and mechanisms.

  • Updated May 21, 2022
  • First published May 21, 2022
  • Reading time 1 minute

Definition

Understand the fundamentals, context, and nuances behind this term.

Checking the correctness of a system using cryptographic algorithms and mechanisms.