Programs with Lists Are Counter Automata
No abstract available.
Related papers
- Automated Verification of Concurrent Linked Lists with Counters SAS 2002
- Multiple Counters Automata, Safety Analysis and Presburger Arithmetic CAV 1998
- FASTer Acceleration of Counter Automata in Practice TACAS 2004
- Eliminating Message Counters in Synchronous Threshold Automata VMCAI 2021
- Upper Bounds for Newton's Method on Monotone Polynomial Systems, and P-Time Model Checking of Probabilistic One-Counter Automata CAV 2013
- Learning Realtime One-Counter Automata TACAS 2022
- Learning Real-Time One-Counter Automata Using Polynomially Many Queries TACAS 2025
- Quantified Data Automata on Skinny Trees: An Abstract Domain for Lists SAS 2013