Graph Transformations
From MaRDI portal
Publication:5292598
Recommendations
Cited in
(13)- Variability-based model transformation: formal foundation and application
- A framework for model transformation verification
- Joint optimization and reachability analysis in graph transformation systems with time
- Correct transformation: from object-based graph grammars to PROMELA
- Verification of graph grammars using a logical approach
- Abstract graph transformation
- Verification of random graph transformation systems
- Formal verification of graph grammars using mathematical induction
- Explicit State Model Checking for Graph Grammars
- Analysis of graph transformation systems: native vs translation-based techniques
- Towards automated software model checking using graph transformation systems and bogor
- Efficient symbolic implementation of graph automata with applications to invariant checking
- Towards mechanised proofs in double-pushout graph transformation
This page was built for publication: Graph Transformations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5292598)