Widening Arithmetic Automata
Abstract elided by the publisher.
Related papers
- Widening Integer Arithmetic CC 2004
- Multiple Counters Automata, Safety Analysis and Presburger Arithmetic CAV 1998
- On the Construction of Automata from Linear Arithmetic Constraints TACAS 2000
- An Automata-Theoretic Approach to Presburger Arithmetic Constraints (Extended Abstract) SAS 1995
- Convex Hull of Arithmetic Automata SAS 2008
- Algebraic Reasoning Meets Automata in Solving Linear Integer Arithmetic CAV 2024
- Automata and fixpoints for asynchronous hyperproperties POPL 2021
- Widening and Interpolation SAS 2011