A Comparison of Presburger Engines for EFSM Reachability
Abstract elided by the publisher.
Related papers
- Vector addition system reachability problem: a short self-contained proof POPL 2011
- Reactive EFSMs - Reactive Promela/RSPIN TACAS 1996
- Automated Parameterized Verification of a Railway Protection System with Dafny CAV 2025
- TRANSIT: specifying protocols with concolic snippets PLDI 2013
- Context-Free-Language Reachability for Almost-Commuting Transition Systems POPL 2026
- Polyhedra scanning revisited PLDI 2012
- TaPAS: The Talence Presburger Arithmetic Suite TACAS 2009
- Multiple Counters Automata, Safety Analysis and Presburger Arithmetic CAV 1998