Integer Programming in the Analysis of Concurrent Systems
No abstract available.
Related papers
- Model-checking concurrent systems with unbounded integer variables: symbolic representations, approximations, and experimental results TOPLAS 1999
- Single-Source-Single-Target Interleaved-Dyck Reachability via Integer Linear Programming POPL 2023
- Modular Automatic Complexity Analysis of Recursive Integer Programs ESOP 2026
- Cleanness Checking of String Manipulations in C Programs via Integer Analysis SAS 2001
- Alternating Runtime and Size Complexity Analysis of Integer Programs TACAS 2014
- Signedness-Agnostic Program Analysis: Precise Integer Bounds for Low-Level Code APLAS 2012
- Reflections on Termination of Linear Loops CAV 2021
- Sound input filter generation for integer overflow errors POPL 2014