Model Checking with Multi-threaded IC3 Portfolios
Abstract elided by the publisher.
Related papers
- Theta: Various Approaches for Concurrent Program Verification (Competition Contribution) TACAS 2025
- A - tt IC3: Learning-Guided Adaptive Inductive Generalization for Hardware Model Checking CAV 2026
- Software Model Checking via IC3 CAV 2012
- Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization CAV 2014
- Parallel and distributed bounded model checking of multi-threaded programs PPoPP 2020
- PrIC3: Property Directed Reachability for MDPs CAV 2020
- Global Guidance for Local Generalization in Model Checking CAV 2020
- Gazer-Theta: LLVM-based Verifier Portfolio with BMC/CEGAR (Competition Contribution) TACAS 2021