Formal Model
Kind: model
Layer: Declarative Core
Record: lexicon:formal-model
Canonical: Lexicon
A precise, machine-processable model of a system from which implementations are generated.
Listed in Lexicon terms, after Toolchain Complexity and before Generated Implementations.