SeLoger: A Tool for Graph-Based Reasoning in Separation Logic
No abstract available.
Related papers
- Connectivity graphs: a method for proving deadlock freedom based on separation logic POPL 2022
- Verifying Graph Algorithms in Separation Logic: A Case for an Algebraic Approach ICFP 2025
- Local Reasoning for Global Graph Properties ESOP 2020
- Modular verification of heap reachability properties in separation logic OOPSLA 2019
- Separation logic + superposition calculus = heap theorem prover PLDI 2011
- High-level separation logic for low-level code POPL 2013
- Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with Computational Effects OOPSLA 2024
- Embedding Hindsight Reasoning in Separation Logic PLDI 2023