PSync

swMATH17450MaRDI QIDQ29309FDOQ29309

Author name not available (Why is that?)

Cited In (9)

• \textsc{PSync}: a partially synchronous language for fault-tolerant distributed algorithms
• \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
• 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
• Title not available (Why is that?)

This page was built for software: PSync