Valid State Transitions

Kind: invariant

Record: reasoning:invariant-valid-state-transitions

Canonical: Reasoning

State transitions are valid

Listed in Reasoning records, after Correct State Evolution and before Correct Interactions.

Surfaces

• state-correctness

Linked from

• The test surfaces