The following pages link to (Q4778617):
Displayed 7 items.
- \(\text{Para}^2\): parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithms (Q1696580) (← links)
- Fast Paxos (Q1954195) (← links)
- Lower bounds for asynchronous consensus (Q1954196) (← links)
- The Heard-Of model: computing in distributed systems with benign faults (Q2377130) (← links)
- What You Always Wanted to Know About Model Checking of Fault-Tolerant Distributed Algorithms (Q3179167) (← links)
- Bosco: One-Step Byzantine Asynchronous Consensus (Q3540249) (← links)
- Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker (Q5883751) (← links)