QB or Not QB: An Efficient Execution Verification Tool for Memory Orderings
Abstract elided by the publisher.
Related papers
- ESBMC v7.7: Efficient Concurrent Software Verification with Scheduling, Incremental SMT and Partial Order Reduction - (Competition Contribution) TACAS 2025
- Satisfiability Modulo Ordering Consistency Theory for SC, TSO, and PSO Memory Models TOPLAS 2023
- A Formal CHERI-C Semantics for Verification TACAS 2023
- cuCatch: A Debugging Tool for Efficiently Catching Memory Safety Violations in CUDA Applications PLDI 2023
- Compositional Verification of Heap-Manipulating Programs Through Property-Guided Learning APLAS 2019
- Hyperproperty Verification as CHC Satisfiability ESOP 2024
- Thread-Modular Analysis of Release-Acquire Concurrency SAS 2021
- Interpretation-Based Violation Witness Validation for C: NITWIT TACAS 2020