Verdi

swMATH21700MaRDI QIDQ33502FDOQ33502

Author name not available (Why is that?)

Source code repository: https://github.com/uwplse/verdi

Cited In (10)

• 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
• 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
• 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