TaPAS

swMATH7286MaRDI QIDQ19330FDOQ19330

Author name not available (Why is that?)

Described by source

• TaPAS: The Talence Presburger Arithmetic Suite

Cited In (6)

• Lossy Counter Machines Decidability Cheat Sheet
• Witness Runs for Counter Machines
• Equivalence between model-checking flat counter systems and Presburger arithmetic
• The Complexity of Reversal-Bounded Model-Checking
• Computable fixpoints in well-structured symbolic model checking
• Title not available (Why is that?)

This page was built for software: TaPAS