swMATH21700MaRDI QIDQ33502FDOQ33502
Author name not available (Why is that?)
Official website: https://github.com/uwplse/verdi
Source code repository: https://github.com/uwplse/verdi
Cited In (24)
- IronFleet
- Sound verification procedures for temporal properties of infinite-state systems
- Synchronizing the asynchronous
- 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
- PlusCal
- TLC
- Ivy
- Distal
- PSync
- ByMC
- Horus
- Chapar
- Constructive Proof FLP
- AutoCorres
- Naiad
- GraphQL
- On a Verification Framework for Certifying Distributed Algorithms: Distributed Checking and Consistency
- 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
- Ivy
- Aneris: a mechanised logic for modular reasoning about distributed systems
- Synthesis of distributed algorithms with parameterized threshold guards
This page was built for software: Verdi
