3 citations · 5 across the 2 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2023★ 2 cited
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…
cs.LO2022★ 3 cited
Towards Mechanised Proofs in Double-Pushout Graph Transformation
Robert Söldner, Detlef Plump
We formalise the basics of the double-pushout approach to graph transformation in the proof assistant Isabelle/HOL and provide associated machine-checked proofs. Specifically, we f…