The following pages link to PSync (Q29309):
Displaying 9 items.
- \(\text{Para}^2\): parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithms (Q1696580) (← links)
- A modular framework for verifying versatile distributed systems (Q2011199) (← links)
- \textsc{Hampa}: solver-aided recency-aware replication (Q2225111) (← links)
- \textsc{PSync}: a partially synchronous language for fault-tolerant distributed algorithms (Q2828285) (← links)
- Protocol combinators for modeling, testing, and execution of distributed systems (Q5018776) (← links)
- Derivation of Heard-of Predicates from Elementary Behavioral Patterns (Q5041279) (← links)
- (Q5155689) (← links)
- A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms (Q5370906) (← links)
- Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker (Q5883751) (← links)
