About verification

Graph Transformation Framework