CheckVML
From MaRDI portal
Software:21455
No author found.
Related Items (8)
Graph Transformations ⋮ Unnamed Item ⋮ On the Use of Alloy to Analyze Graph Transformation Systems ⋮ Behavior-Preserving Simulation-to-Animation Model and Rule Transformations ⋮ Towards Verifying Model Transformations ⋮ The Edge of Graph Transformation — Graphs for Behavioural Specification ⋮ Towards automated software model checking using graph transformation systems and bogor ⋮ Formal Analysis of Workflows Using UML 2.0 Activities and Graph Transformation Systems
This page was built for software: CheckVML
