Towards a Formalisation of Graph Transformations in Proof Assistants

Martin Strecker 1 Mathieu Giorgino 1
1 IRIT - Institut de recherche en informatique de Toulouse
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.
Keywords : Graph Transformations Theorem Proving
Type de document :
Communication dans un congrès
Stephan Merz and Tobias Nipkow. Automatic Verification of Critical Systems, Sep 2006, Nancy/France, pp.178-183, 2006, Automatic Verification of Critical Systems (AVoCS 2006)
Liste complète des métadonnées

Littérature citée [13 références]  Voir  Masquer  Télécharger
https://hal.inria.fr/inria-00091666
Contributeur : Stephan Merz <>
Soumis le : mercredi 6 septembre 2006 - 19:28:52
Dernière modification le : jeudi 11 janvier 2018 - 06:21:34
Document(s) archivé(s) le : mardi 6 avril 2010 - 00:48:15

Fichier

submission.pdf

Identifiants

  • HAL Id : inria-00091666, version 1

Collections

AVOCS06 | UNIV-TLSE3 | UNIV-TLSE2 | SMS

Citation

Martin Strecker, Mathieu Giorgino. Towards a Formalisation of Graph Transformations in Proof Assistants. Stephan Merz and Tobias Nipkow. Automatic Verification of Critical Systems, Sep 2006, Nancy/France, pp.178-183, 2006, Automatic Verification of Critical Systems (AVoCS 2006). 〈inria-00091666〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

112

Téléchargements de fichiers

299

Contact


archive-ouverte@inria.fr