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.
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

Identifiants

  • HAL Id : inria-00091666, version 1

Collections

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〉

Partager

Métriques

Consultations de la notice

108

Téléchargements de fichiers

287