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	LGPLv3
Contact