CheckVML
From MaRDI portal
swMATH9472MaRDI QIDQ21455FDOQ21455
Author name not available (Why is that?)
Official website: http://link.springer.com/chapter/10.1007/978-3-540-45221-8_8
Cited In (16)
- The Edge of Graph Transformation — Graphs for Behavioural Specification
- Graph Transformations
- Towards verifying model transformations
- Fujaba
- Graph transformation benchmarks
- Bogor
- Augur 2
- GROOVE
- vUML
- Formal Analysis of Workflows Using UML 2.0 Activities and Graph Transformation Systems
- Analysis of graph transformation systems: native vs translation-based techniques
- DrAGoM
- Towards automated software model checking using graph transformation systems and bogor
- OCL2AC
- Behavior-Preserving Simulation-to-Animation Model and Rule Transformations
- On the Use of Alloy to Analyze Graph Transformation Systems
This page was built for software: CheckVML
