Counterexample-Guided Abstraction Refinement for the Analysis of Graph Transformation Systems
No abstract available.
Related papers
- Counterexample Guided Abstraction Refinement for Stability Analysis CAV 2016
- Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement TACAS 2003
- Abstraction refinement guided by a learnt probabilistic model POPL 2016
- CEGAR for Qualitative Analysis of Probabilistic Systems CAV 2014
- Scaling Abstraction Refinement for Program Analyses in Datalog using Graph Neural Networks OOPSLA 2024
- Thread-Modular Counterexample-Guided Abstraction Refinement SAS 2010
- Counterexample to Induction-Guided Abstraction-Refinement (CTIGAR) CAV 2014
- Counterexample-Guided Abstraction Refinement CAV 2000