A static analysis technique for graph transformation systems

DOI10.1007/3-540-44685-0_26MaRDI QIDQ4791846zbMATH OpenFDO

Authors Paolo Baldan, Andrea Corradini, Barbara König

Publication date 3 February 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2154/21540381.htm

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Analysis of graph transformation systems: native vs translation-based techniques
• Analysing graph transformation systems through constraint handling rules
• Termination analysis for graph transformation systems
• scientific article; zbMATH DE number 2090850
• On the Use of Alloy to Analyze Graph Transformation Systems
• Application of Graph Transformation in Verification of Dynamic Systems
• A general framework for well-structured graph transformation systems

Cited in

(25)

• Reachability analysis of reversal-bounded automata on series-parallel graphs
• A structural approach to graph transformation based on symmetric Petri nets
• Compositional analysis of probabilistic timed graph transformation systems
• Incremental construction of coverability graphs
• A general framework for types in graph rewriting
• Verification of random graph transformation systems
• Inductive invariant checking with partial negative application conditions
• The Edge of Graph Transformation — Graphs for Behavioural Specification
• Unfolding Graph Transformation Systems: Theory and Applications to Verification
• Applying the Graph Minor Theorem to the Verification of Graph Transformation Systems
• Towards the Verification of Attributed Graph Transformation Systems
• Workshop on Petri Nets and Graph Transformations
• On the Use of Alloy to Analyze Graph Transformation Systems
• Application of Graph Transformation in Verification of Dynamic Systems
• Approximating the behaviour of graph transformation systems
• GETGRATS: a summary of scientific results (with annotated bibliography)
• Verification of graph transformation systems with context-free specifications
• Reachability analysis of reversal-bounded automata on series-parallel graphs
• Analysis of graph transformation systems: native vs translation-based techniques
• Goal-driven unfolding of Petri nets
• Strong Joinability Analysis for Graph Transformation Systems in CHR
• Tools and Algorithms for the Construction and Analysis of Systems
• Compositional analysis of probabilistic timed graph transformation systems
• Unfolding semantics of graph transformation
• A framework for the verification of infinite-state graph transformation systems

This page was built for publication: A static analysis technique for graph transformation systems

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