Cited in
(24)- IronFleet
- On a Verification Framework for Certifying Distributed Algorithms: Distributed Checking and Consistency
- Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker
- Sound verification procedures for temporal properties of infinite-state systems
- \(\text{Para}^2\): parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithms
- Synthesis of distributed algorithms with parameterized threshold guards
- PlusCal
- TLC
- Ivy
- Distal
- PSync
- ByMC
- Horus
- Chapar
- Constructive Proof FLP
- AutoCorres
- Naiad
- A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms
- GraphQL
- Synchronizing the asynchronous
- Ivy
- Aneris: a mechanised logic for modular reasoning about distributed systems
- A modular framework for verifying versatile distributed systems
- Protocol combinators for modeling, testing, and execution of distributed systems
This page was built for software: Verdi
