Multiple Counters Automata, Safety Analysis and Presburger Arithmetic
No abstract available.
Related papers
- An Automata-Theoretic Approach to Presburger Arithmetic Constraints (Extended Abstract) SAS 1995
- Flat Model Checking for Counting LTL Using Quantifier-Free Presburger Arithmetic VMCAI 2019
- Parikh's Theorem Made Symbolic POPL 2024
- TaPAS: The Talence Presburger Arithmetic Suite TACAS 2009
- Abstraction-Based Satisfiability Solving of Presburger Arithmetic CAV 2004
- Symbolic Model Checking of Infinite State Systems Using Presburger Arithmetic CAV 1997
- Decision Procedure for Separation Logic with Inductive Definitions and Presburger Arithmetic APLAS 2016
- An Automata-Theoretic Algorithm for Counting Solutions to Presburger Formulas CC 2004