HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

Towards a Formalisation of Graph Transformations in Proof Assistants

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [13 references]  Display  Hide  Download

Contributor : Stephan Merz Connect in order to contact the contributor
Submitted on : Wednesday, September 6, 2006 - 7:28:52 PM
Last modification on : Tuesday, March 22, 2022 - 8:41:10 AM
Long-term archiving on: : Tuesday, April 6, 2010 - 12:48:15 AM


  • HAL Id : inria-00091666, version 1


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⟩



Record views


Files downloads