An Automata-Theoretic Approach to Presburger Arithmetic Constraints (Extended Abstract)
No abstract available.
Related papers
- Parikh's Theorem Made Symbolic POPL 2024
- Multiple Counters Automata, Safety Analysis and Presburger Arithmetic CAV 1998
- An Automata-Theoretic Algorithm for Counting Solutions to Presburger Formulas CC 2004
- Abstraction-Based Satisfiability Solving of Presburger Arithmetic CAV 2004
- Flat Model Checking for Counting LTL Using Quantifier-Free Presburger Arithmetic VMCAI 2019
- An Automata-Theoretic Approach to Branching-Time Model Checking (Extended Abstract) CAV 1994
- On the Construction of Automata from Linear Arithmetic Constraints TACAS 2000
- Decision Procedures for Sequence Theories CAV 2023