Correctness of the Concurrent Approach to Symbolic Verification of Interleaved Models
Abstract elided by the publisher.
Related papers
- Using Symbolic Execution for Verification of Ada Tasking Programs TOPLAS 1990
- Dynamic Reductions for Model Checking Concurrent Software VMCAI 2017
- Model Checking Concurrent Programs VMCAI 2009
- Sound sequentialization for concurrent program verification PLDI 2022
- The Ghosts of Empires: Extracting Modularity from Interleaving-Based Proofs POPL 2026
- Interactive debugging of concurrent programs under relaxed memory models CGO 2020
- Sequential verification of serializability POPL 2010
- Ultimate GemCutter and the Axes of Generalization - (Competition Contribution) TACAS 2022