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