Practical Abstractions for Automated Verification of Shared-Memory Concurrency
Abstract elided by the publisher.
Related papers
- Fragment Abstraction for Concurrent Shape Analysis ESOP 2018
- Automated Robustness Verification of Concurrent Data Structure Libraries against Relaxed Memory Models OOPSLA 2024
- Raven: An SMT-Based Concurrency Verifier CAV 2025
- Semantics, Specification, and Bounded Verification of Concurrent Libraries in Replicated Systems CAV 2020
- Automated Modular Verification for Relaxed Communication Protocols APLAS 2018
- Caper - Automatic Verification for Fine-Grained Concurrency ESOP 2017
- Veil: A Framework for Automated and Interactive Verification of Transition Systems CAV 2025
- CommCSL: Proving Information Flow Security for Concurrent Programs using Abstract Commutativity PLDI 2023