# Concurrency Correctness

> for-all interleavings: linearizable(history)

Record: `reason:test-surface-concurrency-correctness`
Kind: test-surface
Canonical: https://banes-lab.com/ontology/reasoning#reason-test-surface-concurrency-correctness

## dimension

- [behaviour](https://banes-lab.com/records/reason/dimension-behaviour.md)

## evidence-grounds

- [ver-evidence](https://banes-lab.com/records/reason/node-ver-evidence.md)

## invariant

- [safe-concurrent-behaviour](https://banes-lab.com/records/reason/invariant-safe-concurrent-behaviour.md)

## lens

- [temporal](https://banes-lab.com/records/reason/lens-temporal.md)

## predicate-grounds

- [ver-ground-truth](https://banes-lab.com/records/reason/node-ver-ground-truth.md)

## techniques

- [stress-testing](https://banes-lab.com/records/reason/technique-stress-testing.md)
- [deterministic-replay](https://banes-lab.com/records/reason/technique-deterministic-replay.md)

## referenced-by

- [Ver Evidence](https://banes-lab.com/records/reason/node-ver-evidence.md)
- [Ver Ground Truth](https://banes-lab.com/records/reason/node-ver-ground-truth.md)
- [Behaviour](https://banes-lab.com/records/reason/dimension-behaviour.md)
- [Safe Concurrent Behaviour](https://banes-lab.com/records/reason/invariant-safe-concurrent-behaviour.md)
- [Temporal](https://banes-lab.com/records/reason/lens-temporal.md)
- [Stress Testing](https://banes-lab.com/records/reason/technique-stress-testing.md)
- [Deterministic Replay](https://banes-lab.com/records/reason/technique-deterministic-replay.md)