# Formal Specification

> A precise, mathematical statement of what a system must do, against which it is proven.

Record: `lexicon:formal-specification`
Kind: artifact
Layer: [Computation Core](https://banes-lab.com/records/layer/computation-core.md)
Canonical: https://banes-lab.com/ontology/lexicon#lexicon-formal-specification

Listed in [Lexicon terms](https://banes-lab.com/api/records/lexicon.md), after [Specification Compliance](https://banes-lab.com/records/lexicon/specification-compliance.md) and before [Ruleset](https://banes-lab.com/records/lexicon/ruleset.md).

## Category

- [Correctness / Determinism / Verification](https://banes-lab.com/records/lexicon-category/correctness-determinism-verification.md)

## Required by

- [Formal Verification](https://banes-lab.com/records/architecture/formal-verification.md)

## Linked from

- [Correctness / Determinism / Verification](https://banes-lab.com/ontology/principles/architecture-category-correctness-determinism-verification.md)