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