Augur 2
From MaRDI portal
Cited in
(19)- OCL2AC
- StEAM
- Graph transformation benchmarks
- Unfolding-based diagnosis of systems with an evolving topology
- CheckVML
- GROOVE
- Orion
- Henshin
- A calculus of concurrent graph-rewriting processes
- Incremental construction of coverability graphs
- MoonWalker
- Verification of random graph transformation systems
- The Edge of Graph Transformation — Graphs for Behavioural Specification
- Towards the Verification of Attributed Graph Transformation Systems
- Development of Correct Graph Transformation Systems
- Analysis of graph transformation systems: native vs translation-based techniques
- Tools and Algorithms for the Construction and Analysis of Systems
- PTGTSs
- A framework for the verification of infinite-state graph transformation systems
This page was built for software: Augur 2
