PSync
From MaRDI portal
Cited in
(18)- \(\text{Para}^2\): parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithms
- A modular framework for verifying versatile distributed systems
- PlusCal
- \textsc{Hampa}: solver-aided recency-aware replication
- \textsc{PSync}: a partially synchronous language for fault-tolerant distributed algorithms
- Distal
- ByMC
- Verdi
- Horus
- Chapar
- Protocol combinators for modeling, testing, and execution of distributed systems
- Derivation of heard-of predicates from elementary behavioral patterns
- scientific article; zbMATH DE number 7407798 (Why is no real title available?)
- A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms
- Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker
- Ivy
- IronFleet
- Hampa
This page was built for software: PSync
