Sound and complete abstract graph transformation

DOI10.1007/978-3-642-25032-3_7MaRDI QIDQ3098055zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• Pattern-Based Graph Abstraction
• Abstract graph transformation
• scientific article; zbMATH DE number 2090850
• A Modal-Logic Based Graph Abstraction
• Well-structured graph transformation systems

Cites work

• A framework for the verification of infinite-state graph transformation systems
• A Modal-Logic Based Graph Abstraction
• Abstract graph transformation
• Algebraic approach to single-pushout graph transformation
• Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols
• scientific article; zbMATH DE number 1670775 (Why is no real title available?)
• scientific article; zbMATH DE number 1701764 (Why is no real title available?)
• scientific article; zbMATH DE number 590999 (Why is no real title available?)
• scientific article; zbMATH DE number 1956566 (Why is no real title available?)
• Logical characterizations of heap abstractions
• Sound and complete abstract graph transformation
• Static Analysis of Dynamic Communication Systems by Partner Abstraction
• Systematic design of program transformation frameworks by abstract interpretation
• Tools and Algorithms for the Construction and Analysis of Systems
• Verification, Model Checking, and Abstract Interpretation

Cited in

(18)

• Towards automated software model checking using graph transformation systems and bogor
• The Verigraph system for graph transformation
• Abstract graph transformation
• Verification of random graph transformation systems
• Modeling and verifying graph transformations in proof assistants
• Sound and complete abstract graph transformation
• A general framework for well-structured graph transformation systems
• Towards the Verification of Attributed Graph Transformation Systems
• A Modal-Logic Based Graph Abstraction
• Application of Graph Transformation in Verification of Dynamic Systems
• Graph Transformation Systems in CHR
• scientific article; zbMATH DE number 2090850 (Why is no real title available?)
• Analysis of graph transformation systems: native vs translation-based techniques
• scientific article; zbMATH DE number 7456054 (Why is no real title available?)
• Formal verification of invariants for attributed graph transformation systems based on nested attributed graph conditions
• GTS families for the flexible composition of graph transformation systems
• Graph Transformations
• Well-structured graph transformation systems

Describes a project that uses

Uses Software

• GROOVE

This page was built for publication: Sound and complete abstract graph transformation

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