CheckVML
From MaRDI portal
Software:21455
swMATH9472MaRDI QIDQ21455FDOQ21455
Author name not available (Why is that?)
Cited In (8)
- The Edge of Graph Transformation — Graphs for Behavioural Specification
- Title not available (Why is that?)
- Graph Transformations
- Formal Analysis of Workflows Using UML 2.0 Activities and Graph Transformation Systems
- Towards automated software model checking using graph transformation systems and bogor
- Behavior-Preserving Simulation-to-Animation Model and Rule Transformations
- On the Use of Alloy to Analyze Graph Transformation Systems
- Towards Verifying Model Transformations
This page was built for software: CheckVML
