lincheck 0.2.1

A linearizability checker for concurrent data structures
Documentation