Symbolic Counter Abstraction for Concurrent Software
Abstract elided by the publisher.
Related papers
- Abstraction of memory block manipulations by symbolic loop folding ESOP 2025
- Symbolic Techniques for Parametric Reasoning about Counter and Clock Systems CAV 2000
- On the Complexity of Checking Consistency for Replicated Data Types CAV 2019
- Higher order symbolic execution for contract verification and refutation JFP 2017
- General Decidability Results for Systems with Continuous Counters POPL 2026
- Automated Verification of Concurrent Linked Lists with Counters SAS 2002
- Parameterized Verification of Systems with Precise (0,1)-Counter Abstraction VMCAI 2025
- Symbolically modeling concurrent MCAPI executions PPoPP 2011