Counterexample Driven Refinement for Abstract Interpretation
No abstract available.
Related papers
- Counterexample Driven Quantifier Instantiations with Applications to Distributed Protocols OOPSLA 2023
- Counterexample-Guided Commutativity CAV 2025
- Trainify: A CEGAR-Driven Training and Verification Framework for Safe Deep Reinforcement Learning CAV 2022
- Abstraction-driven Concolic Testing VMCAI 2016
- Static analysis with demand-driven value refinement OOPSLA 2019
- Probabilistic Abstractions with Arbitrary Domains SAS 2011
- Counterexample Guided Abstraction Refinement for Stability Analysis CAV 2016
- Incompleteness, Counterexamples, and Refinements in Abstract Model-Checking SAS 2001