swMATH17450MaRDI QIDQ29309FDOQ29309
Author name not available (Why is that?)
Official website: http://dl.acm.org/citation.cfm?doid=2837614.2837650
Cited In (18)
- Hampa
- \textsc{PSync}: a partially synchronous language for fault-tolerant distributed algorithms
- Derivation of heard-of predicates from elementary behavioral patterns
- IronFleet
- \textsc{Hampa}: solver-aided recency-aware replication
- A modular framework for verifying versatile distributed systems
- Protocol combinators for modeling, testing, and execution of distributed systems
- A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms
- PlusCal
- Distal
- ByMC
- Horus
- Chapar
- Verdi
- Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker
- \(\text{Para}^2\): parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithms
- Title not available (Why is that?)
- Ivy
This page was built for software: PSync
