Matthew J. Parkinson

Latest

• SeLoger: A Tool for Graph-Based Reasoning in Separation Logic
• Tractable Reasoning in a Fragment of Separation Logic