Chapar
From MaRDI portal
Software:34458
No author found.
Related Items (5)
Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker ⋮ Aneris: A Mechanised Logic for Modular Reasoning about Distributed 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 ⋮ Byzantine-tolerant causal broadcast
This page was built for software: Chapar
