Definition

Formal Verification

noun FOR-mul ver-ih-fih-KAY-shun

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

In a sentence

The protocol used formal verification to prove that the contract satisfied specified safety properties.

1 of 5
Share definition
Share on X Email

The Catalyst

Daily Newsletter

Know what’s moving crypto.

Start with the stories that matter. Get the context behind the headlines and a clear view of what to watch next.