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