Automated Verification of Concurrent Linked Lists with Counters
No abstract available.
Related papers
- Fragment Abstraction for Concurrent Shape Analysis ESOP 2018
- An Infinite Needle in a Finite Haystack: Finding Infinite Counter-Models in Deductive Verification POPL 2024
- Replicated data types: specification, verification, optimality POPL 2014
- Verifying concurrent search structure templates PLDI 2020
- A more pragmatic implementation of the lock-free, ordered, linked list PPoPP 2021
- Verifying Reachability Invariants of Linked Structures POPL 1983
- Verified Lock-Free Session Channels with Linking OOPSLA 2024
- Bundling linked data structures for linearizable range queries PPoPP 2022