Graph Transformations

DOI10.1007/B100934MaRDI QIDQ5292598zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

model checkinganalysis of transformation systemslogic properties of graphs and transformationssemantics of visual techniques

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Explicit State Model Checking for Graph Grammars
• Towards automated software model checking using graph transformation systems and bogor
• Abstract graph transformation
• The Verigraph system for graph transformation
• Sound and complete abstract graph transformation

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

Describes a project that uses

Uses Software

• GROOVE
• CheckVML
• SPIN

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)