Threader: A Constraint-Based Verifier for Multi-threaded Programs
No abstract available.
DOI 10.1007/978-3-642-22110-1_32
Related papers
- Threader: A Verifier for Multi-threaded Programs - (Competition Contribution) TACAS 2013
- Deagle: An SMT-based Verifier for Multi-threaded Programs (Competition Contribution) TACAS 2022
- Predicate abstraction and refinement for verifying multi-threaded programs POPL 2011
- A Basis for Verifying Multi-threaded Programs ESOP 2009
- Iekkë: A SAT-Based Bounded-Round Verifier for Multi-Threaded Programs (Competition Contribution) TACAS 2026
- CompCertOC: Verified Compositional Compilation of Multi-threaded Programs with Shared Stacks PLDI 2025
- Satisfiability modulo ordering consistency theory for multi-threaded program verification PLDI 2021
- LLMC: Verifying High-Performance Software CAV 2021