Formal Verification
Kind: activity
Layer: Computation Core
Record: architecture:formal-verification
Severity: contextual
Scope: algorithm, protocol, critical system
Canonical: Ontology
The activity of proving, against a formal specification, that an algorithm or protocol keeps its invariants for every input.
Listed in Architecture principles, after Correctness and before Specification-Based Testing.