Towards a Formalisation of Graph Transformations in Proof Assistants
Martin Strecker, Mathieu Giorgino · 2006
This paper takes first steps towards a formalization of graph transformations in a general setting of interactive theorem provers, which will form the basis for proofs of correctness of graph transformation systems. We present parts of our formalization and take a glimpse at some strategies for simplifying proof obligations.