Verifying Concurrent Graph Algorithms
Abstract elided by the publisher.
Related papers
- Automatic Verification of Finite State Concurrent Systems Using Temporal Logic Specifications: A Practical Approach POPL 1983
- Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications TOPLAS 1986
- Verifying concurrent multicopy search structures OOPSLA 2021
- Automated Verification of Parallel Nested DFS TACAS 2020
- Effective stateless model checking for C/C++ concurrency POPL 2018
- Verifying Graph Algorithms in Separation Logic: A Case for an Algebraic Approach ICFP 2025
- Verifying Concurrent Memory Reclamation Algorithms with Grace ESOP 2013
- PIChecker: A POR and Interpolation based Verifier for Concurrent Programs (Competition Contribution) TACAS 2023