On Local Reasoning in Verification
Abstract elided by the publisher.
Related papers
- Complete Local Reasoning About Parameterized Programs Over Topologies CAV 2026
- Local rely-guarantee reasoning POPL 2009
- Local and Compositional Reasoning for Optimized Reactive Systems CAV 2019
- Mechanized relational verification of concurrent programs with continuations ICFP 2019
- Local Reasoning About the Presence of Bugs: Incorrectness Separation Logic CAV 2020
- Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with Computational Effects OOPSLA 2024
- LoRe: A Programming Model for Verifiably Safe Local-first Software TOPLAS 2024
- LoRe: A Programming Model for Verifiably Safe Local-First Software (Extended Abstract) ECOOP 2023