Formalising the Double-Pushout Approach to Graph Transformation

Robert Söldner, Detlef Plump

In this paper, we utilize Isabelle/HOL to develop a formal framework for the basic theory of double-pushout graph transformation. Our work includes defining essential concepts like…