Towards the Verification of Attributed Graph Transformation Systems

DOI10.1007/978-3-540-87405-8_21zbMath1175.68226OpenAlexW1533509112MaRDI QIDQ3540407

Vitali Kozioura, Barbara König

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

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

Related Items (7)

Theorem proving graph grammars with attributes and negative application conditions ⋮ Unfolding Symbolic Attributed Graph Grammars ⋮ Verification of graph grammars using a logical approach ⋮ Unnamed Item ⋮ Formal specification and verification of dynamic parametrized architectures ⋮ A structural approach to graph transformation based on symmetric Petri nets ⋮ A calculus of concurrent graph-rewriting processes

Uses Software

• Augur 2

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Verification of Random Graph Transformation Systems
• Abstractions from proofs
• Static Analysis of Dynamic Communication Systems by Partner Abstraction
• Temporal abstract interpretation
• Graph Transformations
• Tools and Algorithms for the Construction and Analysis of Systems
• Formal Methods for Open Object-Based Distributed Systems

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