Wing-Gong linearizability check

Also known as Linearizability checking, Wing-Gong algorithm. This is the canonical page; those names redirect here.

Pairings in the atlas

History permutation searchspecialistDistributed-system testing distributed-concurrent

Rivals: other methods for the same problems

Deterministic simulation testing

Where it sits

distributed-concurrent · Systems & Networking