Explicit Stabilisation for Modular Rely-Guarantee Reasoning
No abstract available.
DOI 10.1007/978-3-642-11957-6_32
Related papers
- Mover Logic: A Concurrent Program Logic for Reduction and Rely-Guarantee Reasoning ECOOP 2024
- Synthesis of Self-Stabilising and Byzantine-Resilient Distributed Systems CAV 2016
- Local rely-guarantee reasoning POPL 2009
- 'Cause I'm strong enough: reasoning about consistency choices in distributed systems POPL 2016
- Modular Verification of Differential Privacy in Probabilistic Higher-Order Separation Logic PLDI 2026
- Rely-Guarantee Reasoning About Concurrent Memory Management in Zephyr RTOS CAV 2019
- Rely-Guarantee Reasoning for Causally Consistent Shared Memory CAV 2023
- Lilo: A Higher-Order, Relational Concurrent Separation Logic for Liveness OOPSLA 2025