Stateless Model Checking for TSO and PSO
No abstract available.
Related papers
- Maximal causality reduction for TSO and PSO OOPSLA 2016
- The reads-from equivalence for the TSO and PSO memory models OOPSLA 2021
- Dynamic partial order reduction for relaxed memory models PLDI 2015
- Satisfiability Modulo Ordering Consistency Theory for SC, TSO, and PSO Memory Models TOPLAS 2023
- SATCheck: SAT-directed stateless model checking for SC and TSO OOPSLA 2015
- Truly stateless, optimal dynamic partial order reduction POPL 2022
- Verification under Intel-x86 with Persistency PLDI 2024
- Parametrised Verification of Intel-x86 Programs POPL 2026