The following pages link to Verdi (Q33502):
Displaying 10 items.
- Sound verification procedures for temporal properties of infinite-state systems (Q832273) (← links)
- \(\text{Para}^2\): parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithms (Q1696580) (← links)
- A modular framework for verifying versatile distributed systems (Q2011199) (← links)
- Synthesis of distributed algorithms with parameterized threshold guards (Q3300835) (← links)
- Synchronizing the asynchronous (Q5009435) (← links)
- Protocol combinators for modeling, testing, and execution of distributed systems (Q5018776) (← links)
- Aneris: A Mechanised Logic for Modular Reasoning about Distributed Systems (Q5041100) (← links)
- A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms (Q5370906) (← links)
- On a Verification Framework for Certifying Distributed Algorithms: Distributed Checking and Consistency (Q5881540) (← links)
- Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker (Q5883751) (← links)
