Application of Graph Transformation in Verification of Dynamic Systems

DOI10.1007/978-3-642-00255-7_18MaRDI QIDQ3605472zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

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

Cites work

• scientific article; zbMATH DE number 2016090 (Why is no real title available?)
• scientific article; zbMATH DE number 1863175 (Why is no real title available?)
• Abstract graph transformation
• CONCUR 2004 - Concurrency Theory
• Formal Modeling of Communication Protocols by Graph Transformation
• Fundamentals of algebraic graph transformation
• Handbook of Graph Grammars and Computing by Graph Transformation
• Weakest Preconditions for High-Level Programs

Cited in

(5)

• scientific article; zbMATH DE number 1863175 (Why is no real title available?)
• 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

Describes a project that uses

Uses Software

• GROOVE

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)