Towards a Formalisation of Graph Transformations in Proof Assistants - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2006

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.
Fichier principal
Vignette du fichier
submission.pdf (129.23 Ko) Télécharger le fichier
Loading...

Dates and versions

inria-00091666 , version 1 (06-09-2006)

Identifiers

  • HAL Id : inria-00091666 , version 1

Cite

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⟩
83 View
420 Download

Share

Gmail Facebook X LinkedIn More