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

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

Identifiers

  • HAL Id : inria-00091666, version 1

Citation

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⟩

Share

Metrics

Record views

160

Files downloads

1364