Counterexample-Guided Abstraction Refinement for Generalized Graph Transformation Systems
- 13 June 2025
- book chapter
- Published by Springer Nature
- p. 157-176
Abstract
No abstract availableKeywords
This publication has 36 references indexed in Scilit:
- On Categories of Nested Conditions2024
- Decidability of Resilience for Well-Structured Graph Transformation Systems2022
- A Flexible and Easy-to-Use Library for the Rapid Development of Graph Tools in Java2020
- Tableau-Based Reasoning for Graph Properties2014
- Abstraction Refinement with Craig Interpolation and Symbolic Pushdown Systems2006
- A Practical and Complete Approach to Predicate Refinement2006
- Counterexample-Guided Abstraction Refinement for the Analysis of Graph Transformation Systems2006
- Computational Completeness of Programming Languages Based on Graph TransformationLecture Notes in Computer Science, 2001
- Deriving Bisimulation Congruences for Reactive Systems2000
- Counterexample-Guided Abstraction Refinement2000