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