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 |
...
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 |
...