Model Checking Using Adaptive State and Data Abstraction
No abstract available.
Related papers
- Efficiently Adapting Stateless Model Checking for C11/C++11 to Mixed-Size Accesses APLAS 2024
- A - tt IC3: Learning-Guided Adaptive Inductive Generalization for Hardware Model Checking CAV 2026
- Model Checking for Infinite State Systems Using Data Abstraction, Assumption-Commitment Style reasoning and Theorem Proving CAV 1995
- Model Checking ømega-Regular Properties with Decoupled Search CAV 2021
- Branching Bisimulation Learning CAV 2025
- Race checking by context inference PLDI 2004
- Verification of MPI Java programs using software model checking PPoPP 2016
- Weakly Acyclic Diagrams: A Data Structure for Infinite-State Symbolic Verification TACAS 2025