Chapar
From MaRDI portal
Cited in
(12)- 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
- Synthesis of distributed algorithms with parameterized threshold guards
- Byzantine-tolerant causal broadcast
- PSync
- ByMC
- Verdi
- Constructive Proof FLP
- Naiad
- GraphQL
- Aneris: a mechanised logic for modular reasoning about distributed systems
This page was built for software: Chapar