Abstract : 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.
https://hal.inria.fr/inria-00091666
Contributor : Stephan Merz <>
Submitted on : Wednesday, September 6, 2006 - 7:28:52 PM Last modification on : Thursday, March 18, 2021 - 2:34:33 PM Long-term archiving on: : Tuesday, April 6, 2010 - 12:48:15 AM
Martin Strecker, Mathieu Giorgino. Towards a Formalisation of Graph Transformations in Proof Assistants. Automatic Verification of Critical Systems, Sep 2006, Nancy, France. pp.178-183. ⟨inria-00091666⟩