Application of Graph Transformation in Verification of Dynamic Systems
From MaRDI portal
Publication:3605472
DOI10.1007/978-3-642-00255-7_18zbMATH Open1211.68250OpenAlexW1521950123MaRDI QIDQ3605472FDOQ3605472
Authors: Zarrin Langari, Richard Trefler 
Publication date: 24 February 2009
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-00255-7_18
Recommendations
- Formal verification of invariants for attributed graph transformation systems based on nested attributed graph conditions
- Sound and complete abstract graph transformation
- The Verigraph system for graph transformation
- Verifying a behavioural logic for graph transformation systems
- Inductive invariant checking with partial negative application conditions
Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60) Network protocols (68M12)
Cites Work
- Handbook of Graph Grammars and Computing by Graph Transformation
- Fundamentals of algebraic graph transformation
- Title not available (Why is that?)
- CONCUR 2004 - Concurrency Theory
- Abstract graph transformation
- Title not available (Why is that?)
- Weakest Preconditions for High-Level Programs
- Formal Modeling of Communication Protocols by Graph Transformation
Cited In (5)
- Title not available (Why is that?)
- A framework for the verification of infinite-state graph transformation systems
- Durative graph transformation rules for modelling real-time reconfiguration
- Modeling and verification of reliable messaging by graph transformation systems
- Parameterized Verification of Graph Transformation Systems with Whole Neighbourhood Operations
Uses Software
This page was built for publication: Application of Graph Transformation in Verification of Dynamic Systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3605472)
