Verification tool for lock-free data structures with safe memory reclamation.
Primary LanguageC++MIT LicenseMIT