The following pages link to CheckVML (Q21455):
Displaying 8 items.
- Towards automated software model checking using graph transformation systems and bogor (Q1049792) (← links)
- The Edge of Graph Transformation — Graphs for Behavioural Specification (Q3059705) (← links)
- On the Use of Alloy to Analyze Graph Transformation Systems (Q3541969) (← links)
- (Q5020535) (← links)
- Graph Transformations (Q5292598) (← links)
- Behavior-Preserving Simulation-to-Animation Model and Rule Transformations (Q5403459) (← links)
- Towards Verifying Model Transformations (Q5404179) (← links)
- Formal Analysis of Workflows Using UML 2.0 Activities and Graph Transformation Systems (Q5505610) (← links)
