Towards the Verification of Attributed Graph Transformation Systems
From MaRDI portal
Publication:3540407
DOI10.1007/978-3-540-87405-8_21zbMATH Open1175.68226OpenAlexW1533509112MaRDI QIDQ3540407FDOQ3540407
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
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
Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60)
Cites Work
- Abstractions from proofs
- Graph Transformations
- Title not available (Why is that?)
- Temporal abstract interpretation
- Formal Methods for Open Object-Based Distributed Systems
- Title not available (Why is that?)
- Abstract graph transformation
- Verification of random graph transformation systems
- Tools and Algorithms for the Construction and Analysis of Systems
- Static Analysis of Dynamic Communication Systems by Partner Abstraction
- Title not available (Why is that?)
Cited In (11)
- A calculus of concurrent graph-rewriting processes
- Title not available (Why is that?)
- Verification of graph grammars using a logical approach
- Formal specification and verification of dynamic parametrized architectures
- Title not available (Why is that?)
- 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
- Graph Transformations
- Unfolding Symbolic Attributed Graph Grammars
- Parameterized Verification of Graph Transformation Systems with Whole Neighbourhood Operations
Uses Software
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)
