LTest is a framework for verifying the linearizability of C++ data structures.
-
Updated
Dec 15, 2025 - C++
#
linearizability
Here are 2 public repositories matching this topic...
Verification tool for lock-free data structures with safe memory reclamation.
verification data-structures memory-management lock-free type-system hazard-pointer staticanalysis linearizability epoch-based-reclamation memory-reclamation
-
Updated
Jun 18, 2021 - C++
Improve this page
Add a description, image, and links to the linearizability topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the linearizability topic, visit your repo's landing page and select "manage topics."