Shape-Value Abstraction for Verifying Linearizability
No abstract available.
Related papers
- Fragment Abstraction for Concurrent Shape Analysis ESOP 2018
- Comparison Under Abstraction for Verifying Linearizability CAV 2007
- Efficient Decrease-and-Conquer Linearizability Monitoring OOPSLA 2025
- Graph Types POPL 1993
- Verifying concurrent multicopy search structures OOPSLA 2021
- A Complete Program Logic for Compositional Linearizability ECOOP 2026
- Parametric Shape Analysis via 3-Valued Logic POPL 1999
- Verifying safety properties of concurrent Java programs using 3-valued logic POPL 2001