Local Verification of Global Invariants in Concurrent Programs
Abstract elided by the publisher.
Related papers
- Subjective auxiliary state for coarse-grained concurrency POPL 2013
- Regional Logic for Local Reasoning about Global Invariants ECOOP 2008
- Verification of parameterized concurrent programs by modular reasoning about data and control POPL 2012
- Local Reasoning for Global Graph Properties ESOP 2020
- Symmetry Reduction for the Local Mu-Calculus TACAS 2018
- Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages TOPLAS 2024
- Global Guidance for Local Generalization in Model Checking CAV 2020
- Arithmetizing Shape Analysis CAV 2025