The Formal Verification of an Algorithm for Interactive Consistency under a Hybrid Fault Model
No abstract available.
Related papers
- A fault-tolerant programming model for distributed interactive applications OOPSLA 2019
- Bolt-On Strong Consistency: Specification, Implementation, and Verification OOPSLA 2025
- Model checking copy phases of concurrent copying garbage collection with various memory models OOPSLA 2017
- Verdi: a framework for implementing and formally verifying distributed systems PLDI 2015
- Asphalion: trustworthy shielding against Byzantine faults OOPSLA 2019
- Searching for Ribbon-Shaped Paths in Fair Transition Systems TACAS 2022
- Hamband: RDMA replicated data types PLDI 2022
- Much ADO about failures: a fault-aware model for compositional verification of strongly consistent distributed systems OOPSLA 2021