| HAL-Inria | Publications, software ... of Inria's scientists |
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.
Keywords :
Graph Transformations
Theorem Proving
Cited literature [13 references]
https://hal.inria.fr/inria-00091666
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
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