TaPAS

swMATH7286MaRDI QIDQ19330FDOQ19330

Author name not available (Why is that?)

Described by source

• TaPAS: The Talence Presburger Arithmetic Suite

Cited In (6)

• Equivalence between model-checking flat counter systems and Presburger arithmetic
• Efficient reduction of nondeterministic automata with application to language inclusion testing
• The complexity of reversal-bounded model-checking
• Witness runs for counter machines
• Lossy counter machines decidability cheat sheet
• Computable fixpoints in well-structured symbolic model checking

This page was built for software: TaPAS