Model Checking

Kind: technique

Record: reasoning:technique-model-checking

Canonical: Reasoning

Proves that a property holds across the reachable state space

Listed in Reasoning records, after Chaos Testing and before Deterministic Replay.

Mode

• explanation

Surfaces

• functional-correctness
• protocol-correctness

Linked from

• The modes
• The test surfaces