Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization
No abstract available.
Related papers
- Bounded Verification of Multi-threaded Programs via Lazy Sequentialization TOPLAS 2022
- Parallel and distributed bounded model checking of multi-threaded programs PPoPP 2020
- Satisfiability modulo ordering consistency theory for multi-threaded program verification PLDI 2021
- General data structure expansion for multi-threading PLDI 2013
- Model Checking with Multi-threaded IC3 Portfolios VMCAI 2016
- Satisfiability Modulo Ordering Consistency Theory for SC, TSO, and PSO Memory Models TOPLAS 2023
- An operational semantics for parallel lazy evaluation ICFP 2000
- Iekkë: A SAT-Based Bounded-Round Verifier for Multi-Threaded Programs (Competition Contribution) TACAS 2026