> ## Documentation Index
> Fetch the complete documentation index at: https://docs.theblockchainlibrary.com/llms.txt
> Use this file to discover all available pages before exploring further.

# Formal Verification

> The use of mathematical methods to prove that software or protocol behavior satisfies specified properties.

# Formal Verification

The use of mathematical methods to prove that software or protocol behavior satisfies specified properties.

## Definition

The use of mathematical methods to prove that software or protocol behavior satisfies specified properties.

## Why it matters

Security concepts help users and developers recognize common blockchain attack surfaces and defenses.

## Related knowledge

* [Phishing](/generated/v2/glossary/phishing) — term
* [Smart Contract Audit](/generated/v2/glossary/smart-contract-audit) — term
* [Sybil Attack](/generated/v2/glossary/sybil-attack) — term

***

**Canonical knowledge ID:** `glossary:formal-verification`