Eliminating Message Counters in Synchronous Threshold Automata
No abstract available.
Related papers
- Learning Real-Time One-Counter Automata Using Polynomially Many Queries TACAS 2025
- 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
- Probabilistic Büchi Automata with Non-extremal Acceptance Thresholds VMCAI 2011
- TACO: A Toolsuite for the Verification of Threshold Automata CAV 2026
- Multiple Counters Automata, Safety Analysis and Presburger Arithmetic CAV 1998
- FASTer Acceleration of Counter Automata in Practice TACAS 2004
- Programs with Lists Are Counter Automata CAV 2006