Verification tool for lock-free data structures with safe memory reclamation. This tool implements the approach from POPL'20 paper Pointer Life Cycle Types for Lock-Free Data Structures with Memory Reclamation by Meyer and Wolff.

For more details, see: https://wolff09.github.io/seal/