The following pages link to (Q2852078):
Displayed 10 items.
- A framework for the verification of infinite-state graph transformation systems (Q937301) (← links)
- Modeling and Verifying Graph Transformations in Proof Assistants (Q2870320) (← links)
- The Edge of Graph Transformation — Graphs for Behavioural Specification (Q3059705) (← links)
- Sound and Complete Abstract Graph Transformation (Q3098055) (← links)
- Explicit State Model Checking for Graph Grammars (Q3507360) (← links)
- Mind the Shapes: Abstraction Refinement Via Topology Invariants (Q3510783) (← links)
- Applying the Graph Minor Theorem to the Verification of Graph Transformation Systems (Q3512494) (← links)
- Abstracting Complex Data Structures by Hyperedge Replacement (Q3540389) (← links)
- Towards the Verification of Attributed Graph Transformation Systems (Q3540407) (← links)
- Application of Graph Transformation in Verification of Dynamic Systems (Q3605472) (← links)