TaPAS: The Talence Presburger Arithmetic Suite
Abstract elided by the publisher.
Related papers
- FPL: fast Presburger arithmetic through transprecision OOPSLA 2021
- Multiple Counters Automata, Safety Analysis and Presburger Arithmetic CAV 1998
- An Automata-Theoretic Approach to Presburger Arithmetic Constraints (Extended Abstract) SAS 1995
- 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
- Beyond Quantifier-Free Interpolation in Extensions of Presburger Arithmetic VMCAI 2011
- Flat Model Checking for Counting LTL Using Quantifier-Free Presburger Arithmetic VMCAI 2019