Sound and Complete Abstract Graph Transformation

DOI10.1007/978-3-642-25032-3_7zbMath1349.68106OpenAlexW68511995MaRDI QIDQ3098055

Dominik Steenken, Daniel Wonisch, Heike Wehrheim

Publication date: 11 November 2011

Published in: Formal Methods, Foundations and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-25032-3_7

Mathematics Subject Classification ID

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

Related Items (5)

Formal Verification of Invariants for Attributed Graph Transformation Systems Based on Nested Attributed Graph Conditions ⋮ Specifying graph languages with type graphs ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Sound and Complete Abstract Graph Transformation

Uses Software

• GROOVE

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Algebraic approach to single-pushout graph transformation
• A framework for the verification of infinite-state graph transformation systems
• Sound and Complete Abstract Graph Transformation
• A Modal-Logic Based Graph Abstraction
• Static Analysis of Dynamic Communication Systems by Partner Abstraction
• Systematic design of program transformation frameworks by abstract interpretation
• Logical characterizations of heap abstractions
• Tools and Algorithms for the Construction and Analysis of Systems
• Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols
• Verification, Model Checking, and Abstract Interpretation

This page was built for publication: Sound and Complete Abstract Graph Transformation