Lincheck

A linearizability checker for concurrent data structures
Alternatives To Lincheck
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
Efficient Lock Free Durable Sets10
4 years agomitC++
Code for "Yoav Zuriel, Michal Friedman, Gali Sheffi, Nachshon Cohen, and Erez Petrank. Efficient Lock-Free Durable Sets, OOPSLA 2019" (https://dl.acm.org/doi/10.1145/3360554)
Lock_free8
5 years ago1C++
C++17 lock-free data structure library
Lincheck5
a year agomitRust
A linearizability checker for concurrent data structures
Alternatives To Lincheck
Select To Compare


Alternative Project Comparisons
Popular Testing Projects
Popular Lock Free Projects
Popular Software Quality Categories
Related Searches

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Rust
Testing
Lock Free
Model Checking