Parallel External Directed Model Checking with Linear I/O
No abstract available.
Related papers
- Semi-external LTL Model Checking CAV 2008
- Hitching a Ride to a Lasso: Massively Parallel On-The-Fly LTL Model Checking TACAS 2024
- Nacpa: Native Checking with Parallel-Portfolio Analyses - (Competition Contribution) TACAS 2025
- SATCheck: SAT-directed stateless model checking for SC and TSO OOPSLA 2015
- Interactive Theorem Proving Modulo Fuzzing CAV 2024
- A Verified Parallel Scheduler for OCaml 5 PLDI 2026
- REPTILE: Performant Tiling of Recurrences OOPSLA 2025
- Pure Borrow: Linear Haskell Meets Rust-Style Borrowing PLDI 2026