lincheck 0.1.1

A linearizability checker for concurrent data structures
Documentation