Interactive Verification of Distributed Protocols Using Decidable Logic
No abstract available.
Related papers
- Verification of Threshold-Based Distributed Algorithms by Decomposition to Decidable Logics CAV 2019
- Paxos made EPR: decidable reasoning about distributed protocols OOPSLA 2017
- Modularity for decidability of deductive verification with applications to distributed systems PLDI 2018
- Programming and proving with distributed protocols POPL 2018
- Decidability of inferring inductive invariants POPL 2016
- Synthesis of Distributed Agreement-Based Systems with Efficiently-Decidable Verification TACAS 2023
- QuickSilver: modeling and parameterized verification for distributed agreement-based systems OOPSLA 2021
- Parameterized Verification of Systems with Global Synchronization and Guards CAV 2020