Verdi
From MaRDI portal
Software:33502
No author found.
Source code repository: https://github.com/uwplse/verdi
Related Items (10)
On a Verification Framework for Certifying Distributed Algorithms: Distributed Checking and Consistency ⋮ Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker ⋮ Aneris: A Mechanised Logic for Modular Reasoning about Distributed Systems ⋮ Sound verification procedures for temporal properties of infinite-state systems ⋮ Synthesis of distributed algorithms with parameterized threshold guards ⋮ \(\text{Para}^2\): parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithms ⋮ Unnamed Item ⋮ A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms ⋮ 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
