Cited in
(18)- Hampa
- IronFleet
- Derivation of heard-of predicates from elementary behavioral patterns
- 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
- scientific article; zbMATH DE number 7407798 (Why is no real title available?)
- PlusCal
- Distal
- \textsc{Hampa}: solver-aided recency-aware replication
- ByMC
- Horus
- Chapar
- Verdi
- A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms
- Ivy
- A modular framework for verifying versatile distributed systems
- Protocol combinators for modeling, testing, and execution of distributed systems
- \textsc{PSync}: a partially synchronous language for fault-tolerant distributed algorithms
This page was built for software: PSync
