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 |  |
|---|
| View Git file | ||||||||
|---|---|---|---|---|---|---|---|---|
|
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 | |
|---|
| View Git file | ||||||||
|---|---|---|---|---|---|---|---|---|
|