Towards Automatic Stability Analysis for Rely-Guarantee Proofs
Abstract elided by the publisher.
Related papers
- Mover Logic: A Concurrent Program Logic for Reduction and Rely-Guarantee Reasoning ECOOP 2024
- Rely-Guarantee Is Coinductive - - A Proof-Centered Investigation of Inductively Approximated Coinduction - ESOP 2026
- Deductive Stability Proofs for Ordinary Differential Equations TACAS 2021
- Homeostasis: Design and Implementation of a Self-Stabilizing Compiler TOPLAS 2024
- Verifying Invariants of Lock-Free Data Structures with Rely-Guarantee and Refinement Types TOPLAS 2017
- Automatic Verification of Stability and Safety for Delay Differential Equations CAV 2015
- Liveness Proofs for Hardware Model Checking CAV 2026
- Symbolic Execution for Quantum Error Correction Programs PLDI 2024