Counterexample-Guided Abstraction Refinement for Generalized Graph Transformation Systems (Full Version)

Barbara König, Arend Rensink, Lara Stoltenow +1

This paper addresses the following verification task: Given a graph transformation system and a class of initial graphs, can we guarantee (non-)reachability of a given other class…