Graph Transformations
DOI10.1007/B100934zbMATH Open1116.68486OpenAlexW4214712303MaRDI QIDQ5292598FDOQ5292598
Authors: Arend Rensink, Ákos Schmidt, Dániel Varró 
Publication date: 21 June 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b100934
Recommendations
model checkinganalysis of transformation systemslogic properties of graphs and transformationssemantics of visual techniques
Graph theory (including graph drawing) in computer science (68R10) Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60)
Cited In (13)
- Variability-based model transformation: formal foundation and application
- A framework for model transformation verification
- Joint optimization and reachability analysis in graph transformation systems with time
- Correct transformation: from object-based graph grammars to PROMELA
- Verification of graph grammars using a logical approach
- Abstract graph transformation
- Verification of random graph transformation systems
- Formal verification of graph grammars using mathematical induction
- Explicit State Model Checking for Graph Grammars
- Analysis of graph transformation systems: native vs translation-based techniques
- Towards automated software model checking using graph transformation systems and bogor
- Efficient symbolic implementation of graph automata with applications to invariant checking
- Towards mechanised proofs in double-pushout graph transformation
Uses Software
This page was built for publication: Graph Transformations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5292598)
