Pages that link to "Item:Q3541969"
From MaRDI portal
The following pages link to On the Use of Alloy to Analyze Graph Transformation Systems (Q3541969):
Displaying 7 items.
- Verification of graph grammars using a logical approach (Q436370) (← links)
- Towards automated software model checking using graph transformation systems and bogor (Q1049792) (← links)
- Theorem proving graph grammars with attributes and negative application conditions (Q2358623) (← links)
- Ensuring Correctness of Model Transformations While Remaining Decidable (Q3179408) (← links)
- Graph-Based Design and Analysis of Dynamic Software Architectures (Q3507356) (← links)
- (Q5020535) (← links)
- Formal Verification of Graph Grammars using Mathematical Induction (Q5179351) (← links)
