lin-check is a tool for Java that checks linearizability on concurrent data structures.

GitHub Repository	https://github.com/Devexperts/lin-check
Public Maven repo	-
License	MPL 2.0 (since Lincheck v3.0)
Contact