While offering significant expressive power, graph transformation systems often come with rather limited capabilities for automated analysis, particularly if sy

The analysis of behavioral models such as Graph Transformation Systems (GTSs) is of central importance in model-driven engineering. However, GTSs often result i

The correctness of model transformations is a crucial element for model-driven engineering of high quality software. In particular, behavior preservation is the

Graph transformation systems are a powerful formal model to capture model transformations or systems with infinite state space, among others. However, this expr

This book constitutes the refereed proceedings of the 13th International Conference on Graph Transformation, ICGT 2020, in Bergen, Norway, in June 2020.* The 16