Controlled Memory Usage

Kind: invariant

Record: reasoning:invariant-controlled-memory-usage

Canonical: Reasoning

Memory usage is controlled

Listed in Reasoning records, after Safe Concurrent Behavior and before Reliability Under Faults.

Surfaces

• memory-correctness

Linked from

• The test surfaces