Tracing

Kind: technique

Record: reasoning:technique-tracing

Canonical: Reasoning

Describes the runtime flow across components

Listed in Reasoning records, after Heap Analysis and before Fault Injection.

Mode

• description

Surfaces

• temporal-correctness
• observability-correctness

Linked from

• The modes
• The test surfaces