Safe Concurrent Behavior

Kind: invariant

Record: reasoning:invariant-safe-concurrent-behavior

Canonical: Reasoning

Concurrent behavior is safe

Listed in Reasoning records, after Acceptable Resource Consumption and before Controlled Memory Usage.

Surfaces

• concurrency-correctness

Linked from

• The test surfaces