Lexicon

Controlled State

Kind: constraint

Layer: Computation Core

Aliases: Controlled Inputs

Record: lexicon:controlled-state

Canonical: Lexicon

The requirement that all inputs and state affecting a computation be fixed, bounded or fully specified, so its behavior is reproducible.

Listed in Lexicon terms, after Tests and before Deterministic Behavior.

Category

  • Correctness / Determinism / Verification

Required by

  • Determinism
  • Repeatability

Linked from

  • Correctness / Determinism / Verification