Towards the Verification of Attributed Graph Transformation Systems

DOI10.1007/978-3-540-87405-8_21MaRDI QIDQ3540407zbMATH OpenOpenAlexFDO

Authors Barbara König, Vitali Kozioura

Publication date 20 November 2008

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-87405-8_21

Mathematics Subject Classification ID

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

Recommendations

• Verification of random graph transformation systems
• Formal verification of invariants for attributed graph transformation systems based on nested attributed graph conditions
• A framework for the verification of infinite-state graph transformation systems
• The Verigraph system for graph transformation
• Sound and complete abstract graph transformation

Cites work

• scientific article; zbMATH DE number 3885321 (Why is no real title available?)
• scientific article; zbMATH DE number 1863175 (Why is no real title available?)
• scientific article; zbMATH DE number 1418813 (Why is no real title available?)
• Abstract graph transformation
• Abstractions from proofs
• Graph Transformations
• Static Analysis of Dynamic Communication Systems by Partner Abstraction
• Temporal abstract interpretation
• Tools and Algorithms for the Construction and Analysis of Systems
• Verification of distributed object-based systems.
• Verification of random graph transformation systems

Cited in

(16)

• Formal verification of invariants for attributed graph transformation systems based on nested attributed graph conditions
• A calculus of concurrent graph-rewriting processes
• Checking bisimilarity for attributed graph transformation
• Verification of graph grammars using a logical approach
• Verification of random graph transformation systems
• Formal specification and verification of dynamic parametrized architectures
• scientific article; zbMATH DE number 2016074 (Why is no real title available?)
• Theorem proving graph grammars with attributes and negative application conditions
• Verifying a behavioural logic for graph transformation systems
• A structural approach to graph transformation based on symmetric Petri nets
• Borrowed contexts for attributed graphs
• Analysis of graph transformation systems: native vs translation-based techniques
• Graph Transformations
• Unfolding Symbolic Attributed Graph Grammars
• The Verigraph system for graph transformation
• Parameterized Verification of Graph Transformation Systems with Whole Neighbourhood Operations

Describes a project that uses

Uses Software

• Augur 2

This page was built for publication: Towards the Verification of Attributed Graph Transformation Systems

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