Verification of Random Graph Transformation Systems

DOI10.1016/J.ENTCS.2007.04.017zbMath1278.68179OpenAlexW2012612235MaRDI QIDQ2867889

Vitali Kozioura

Publication date: 20 December 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2007.04.017

zbMATH Keywords

Petri net\textsc{Augur}random graph transformation

Mathematics Subject Classification ID

Random graphs (graph-theoretic aspects) (05C80) Graph theory (including graph drawing) in computer science (68R10) Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42)

Related Items (2)

Towards the Verification of Attributed Graph Transformation Systems ⋮ A framework for the verification of infinite-state graph transformation systems

Uses Software

• Augur 2

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Handbook of Graph Grammars and Computing by Graph Transformation
• Handbook of Graph Grammars and Computing by Graph Transformation
• Graph Transformations
• Tools and Algorithms for the Construction and Analysis of Systems

This page was built for publication: Verification of Random Graph Transformation Systems