Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction
No abstract available.
Related papers
- PyLTA: A Verification Tool for Parameterized Distributed Algorithms TACAS 2023
- SMT and POR Beat Counter Abstraction: Parameterized Model Checking of Threshold-Based Distributed Algorithms CAV 2015
- Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking TACAS 2019
- Ivy: A Multi-modal Verification Tool for Distributed Algorithms CAV 2020
- Parameterized Verification of Systems with Global Synchronization and Guards CAV 2020
- On the Complexity of Checking Soundness of Natural Reductions CAV 2026
- QuickSilver: modeling and parameterized verification for distributed agreement-based systems OOPSLA 2021
- Parameterized Verification of Synchronization in Constrained Reconfigurable Broadcast Networks TACAS 2018