Abstract graph transformation

MaRDI QIDQ2852078zbMATH OpenFDO

Authors Arend Rensink, Dino Distefano

Publication date 7 October 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066106002271

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Sound and complete abstract graph transformation
• Pattern-Based Graph Abstraction
• A Modal-Logic Based Graph Abstraction
• Graph Transformations
• Explicit State Model Checking for Graph Grammars

Cited in

(22)

• The Edge of Graph Transformation — Graphs for Behavioural Specification
• Analysis of infinite-state graph transformation systems by cluster abstraction
• Diagrammatic Representation and Inference
• Graph Transformations
• Programming Languages and Systems
• scientific article; zbMATH DE number 2111735 (Why is no real title available?)
• A framework for the verification of infinite-state graph transformation systems
• Abstracting Complex Data Structures by Hyperedge Replacement
• Application of Graph Transformation in Verification of Dynamic Systems
• Systematic Refinement of Abstract State Machines with Higher-Order Logic
• scientific article; zbMATH DE number 1136656 (Why is no real title available?)
• Algebraic Graph Transformations with Inheritance
• Special issue on theoretical topics in graph transformation
• Explicit State Model Checking for Graph Grammars
• Sound and complete abstract graph transformation
• scientific article; zbMATH DE number 1512612 (Why is no real title available?)
• Modeling and verifying graph transformations in proof assistants
• Mind the Shapes: Abstraction Refinement Via Topology Invariants
• A Modal-Logic Based Graph Abstraction
• Transformations on channel graphs
• Towards the Verification of Attributed Graph Transformation Systems
• Applying the Graph Minor Theorem to the Verification of Graph Transformation Systems

This page was built for publication: Abstract graph transformation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2852078)