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 — term
- Smart Contract Audit — term
- Sybil Attack — term
Canonical knowledge ID:
glossary:formal-verification