Synthesis of Heap-Manipulating Programs from Separation Logic
Distributed Separation Logic: a framework for compositional verification...
Hoare Type Theory
The VerCors verification toolset for verifying parallel and concurrent s...