AMC: An Adaptive Model Checker
No abstract available.
DOI 10.1007/3-540-45657-0_44
Related papers
- An Extension of ATL with Strategy Interaction TOPLAS 2015
- AKR: A Model Checker for an Adaptative Probabilistic Knowing-How Logic TACAS 2026
- Pono: A Flexible and Extensible SMT-Based Model Checker CAV 2021
- A - tt IC3: Learning-Guided Adaptive Inductive Generalization for Hardware Model Checking CAV 2026
- Integrating Model Checking into a Live Modeling Environment SLE 2025
- Verification of MPI Java programs using software model checking PPoPP 2016
- Typing Algorithm in Type Theory with Inheritance POPL 1997
- Certifying Model Checkers CAV 2001