SMT and POR Beat Counter Abstraction: Parameterized Model Checking of Threshold-Based Distributed Algorithms
Abstract elided by the publisher.
Related papers
- Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking TACAS 2019
- STLmc: Robust STL Model Checking of Hybrid Systems Using SMT CAV 2022
- Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction VMCAI 2018
- Efficient Probabilistic Model Checking for Relational Reachability CAV 2025
- Ivy: A Multi-modal Verification Tool for Distributed Algorithms CAV 2020
- PyLTA: A Verification Tool for Parameterized Distributed Algorithms TACAS 2023
- TACO: A Toolsuite for the Verification of Threshold Automata CAV 2026
- ESBMC v7.7: Efficient Concurrent Software Verification with Scheduling, Incremental SMT and Partial Order Reduction - (Competition Contribution) TACAS 2025