PSync
From MaRDI portal
Software:29309
No author found.
Related Items (9)
Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker ⋮ Derivation of Heard-of Predicates from Elementary Behavioral Patterns ⋮ \(\text{Para}^2\): parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithms ⋮ A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms ⋮ \textsc{Hampa}: solver-aided recency-aware replication ⋮ A modular framework for verifying versatile distributed systems ⋮ PSync: a partially synchronous language for fault-tolerant distributed algorithms ⋮ Unnamed Item ⋮ Protocol combinators for modeling, testing, and execution of distributed systems
This page was built for software: PSync
