A Basis for Verifying Multi-threaded Programs
Abstract elided by the publisher.
Related papers
- Threader: A Verifier for Multi-threaded Programs - (Competition Contribution) TACAS 2013
- Threader: A Constraint-Based Verifier for Multi-threaded Programs CAV 2011
- Iekkë: A SAT-Based Bounded-Round Verifier for Multi-Threaded Programs (Competition Contribution) TACAS 2026
- Deagle: An SMT-based Verifier for Multi-threaded Programs (Competition Contribution) TACAS 2022
- CompCertOC: Verified Compositional Compilation of Multi-threaded Programs with Shared Stacks PLDI 2025
- Predicate abstraction and refinement for verifying multi-threaded programs POPL 2011
- LLMC: Verifying High-Performance Software CAV 2021
- Proof Spaces for Unbounded Parallelism POPL 2015