TaPAS: The Talence Presburger Arithmetic Suite

DOI10.1007/978-3-642-00768-2_18zbMath1234.03002OpenAlexW2163945092MaRDI QIDQ3617759

Jérôme Leroux, Gérald Point

Publication date: 31 March 2009

Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-00768-2_18

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) First-order arithmetic and fragments (03F30) Software, source code, etc. for problems pertaining to mathematical logic and foundations (03-04)

Related Items (7)

Equivalence Between Model-Checking Flat Counter Systems and Presburger Arithmetic ⋮ The Complexity of Reversal-Bounded Model-Checking ⋮ Equivalence between model-checking flat counter systems and Presburger arithmetic ⋮ Convex Hull of Arithmetic Automata ⋮ Computable fixpoints in well-structured symbolic model checking ⋮ TaPAS ⋮ Unnamed Item

Uses Software

• LIRA

Cites Work

• Implementation and Application of Automata

This page was built for publication: TaPAS: The Talence Presburger Arithmetic Suite