Context-Bounded Analysis of Concurrent Queue Systems
No abstract available.
Related papers
- Semantics, Specification, and Bounded Verification of Concurrent Libraries in Replicated Systems CAV 2020
- Restricted memory-friendly lock-free bounded queues PPoPP 2020
- Formal verification of a concurrent bounded queue in a weak memory model ICFP 2021
- wCQ: a fast wait-free queue with bounded memory usage PPoPP 2022
- Reducing Concurrent Analysis Under a Context Bound to Sequential Analysis CAV 2008
- Memory Bounds for Concurrent Bounded Queues PPoPP 2024
- Interprocedural Analysis of Concurrent Programs Under a Context Bound TACAS 2008
- Context-Bounded Analysis for Concurrent Programs with Dynamic Creation of Threads TACAS 2009