Formal Specification
Kind: artifact
Layer: Computation Core
Record: lexicon:formal-specification
Canonical: Lexicon
A precise, mathematical statement of what a system must do, against which it is proven.
Listed in Lexicon terms, after Specification Compliance and before Ruleset.