lin-check
lin-check copied to clipboard
Published
20 hours ago •
devexperts
devexperts
Linearization checker for Java concurrent programs
Results
2
lin-check issues
Sort by
recently updated
recently updated
newest added
The link to **Lock free algorithms** talk doesn't work. I found this presentation on youtube and put a link to it (I wasn't able to find English version).
Metadata
102
Stars
11
Forks
Watchers
Owner
Metadata
Linearization checker for Java concurrent programs