Verification Based on Local States
No abstract available.
Related papers
- Decidable Verification under Localized Release-Acquire Concurrency TACAS 2024
- Symmetry Reduction for the Local Mu-Calculus TACAS 2018
- Compositional Verification of Smart Contracts Through Communication Abstraction SAS 2021
- Complete Local Reasoning About Parameterized Programs Over Topologies CAV 2026
- Local rely-guarantee reasoning POPL 2009
- From Bounded Checking to Verification of Equivalence via Symbolic Up-to Techniques TACAS 2022
- Mechanized relational verification of concurrent programs with continuations ICFP 2019
- LoRe: A Programming Model for Verifiably Safe Local-first Software TOPLAS 2024