Compositional Satisfiability Solving in Separation Logic
Abstract elided by the publisher.
Related papers
- Separation Logic Modulo Theories APLAS 2013
- Compositional Symbolic Execution for Correctness and Incorrectness Reasoning ECOOP 2024
- SecRSL: security separation logic for C11 release-acquire concurrency OOPSLA 2021
- Mutation-Based Lifted Repair of Software Product Lines ECOOP 2024
- Compositional Entailment Checking for a Fragment of Separation Logic APLAS 2014
- Matching Plans for Frame Inference in Compositional Reasoning ECOOP 2024
- Go with the flow: compositional abstractions for concurrent data structures POPL 2018
- Bottom-up shape analysis using LISF TOPLAS 2011