Technique · Formal

Concurrency model checking

Explores thread interleavings systematically to find races and orderings that fail only rarely.

Sub-techniques

Exhaustive interleaving V1029.001

Enumerate all interleavings of a small test (loom).
Randomized scheduling V1029.002

Sample schedules with a controlled scheduler (shuttle).