Dense Counter Machines and Verification Problems
Abstract elided by the publisher.
Related papers
- Safety Problems Are NP-complete for Flat Integer Programs with Octagonal Loops VMCAI 2014
- Parameterized Verification of Systems with Precise (0,1)-Counter Abstraction VMCAI 2025
- Pattern-Based Verification for Multithreaded Programs TOPLAS 2014
- Using graph-based program characterization for predictive modeling CGO 2012
- Automated Verification of Concurrent Linked Lists with Counters SAS 2002
- Verification of Gap-Order Constraint Abstractions of Counter Systems VMCAI 2012
- An Infinite Needle in a Finite Haystack: Finding Infinite Counter-Models in Deductive Verification POPL 2024
- Relaxing SIMD Control Flow Constraints using Loop Transformations PLDI 1992