Counterexample-Guided Abstraction Refinement for the Analysis of Graph Transformation Systems.

Barbara Knig, Vitali Kozioura

Browse the full TACAS paper archive.