WO

Wolff09/seal

Verification tool for lock-free data structures with safe memory reclamation.

data-structures epoch-based-reclamation hazard-pointer linearizability lock-free memory-management memory-reclamation staticanalysis type-system verification

No README found.

Languages

C++95.2%CMake2.4%ANTLR1.6%Python0.7%

Contributors

Latest Release

PhD21March 1, 2021 + 1 more releases

MIT License

Created October 2, 2019

Updated October 2, 2025

Wolff09/seal | GitHunt