Application of Graph Transformation in Verification of Dynamic Systems

DOI10.1007/978-3-642-00255-7_18zbMath1211.68250OpenAlexW1521950123MaRDI QIDQ3605472

Richard Trefler, Zarrin Langari

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

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

Uses Software

• GROOVE

Cites Work

• Fundamentals of algebraic graph transformation
• Formal Modeling of Communication Protocols by Graph Transformation
• Weakest Preconditions for High-Level Programs
• Handbook of Graph Grammars and Computing by Graph Transformation
• CONCUR 2004 - Concurrency Theory
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Application of Graph Transformation in Verification of Dynamic Systems