Verification of random graph transformation systems

DOI10.1016/J.ENTCS.2007.04.017zbMATH Open1278.68179OpenAlexW2012612235MaRDI QIDQ2867889FDOQ2867889

Authors: 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

Recommendations

• Towards the Verification of Attributed Graph Transformation Systems
• scientific article; zbMATH DE number 2090850
• Probabilistic graph transformation systems
• Tools and Algorithms for the Construction and Analysis of Systems
• Sound and complete abstract graph transformation

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) Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Title not available (Why is that?)
• Handbook of Graph Grammars and Computing by Graph Transformation
• Handbook of Graph Grammars and Computing by Graph Transformation
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Graph Transformations
• Title not available (Why is that?)
• Tools and Algorithms for the Construction and Analysis of Systems

Cited In (3)

• A framework for the verification of infinite-state graph transformation systems
• Title not available (Why is that?)
• Towards the Verification of Attributed Graph Transformation Systems

Uses Software

• Augur 2

This page was built for publication: Verification of random graph transformation systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2867889)