@inproceedings{bdfe3d8c8c62434c9e9edcd281da73d9,
title = "Pattern-Based Graph Abstraction",
abstract = "We present a new abstraction technique for the exploration of graph transformation systems with infinite state spaces. This technique is based on patterns, simple graphs describing structures of interest that should be preserved by the abstraction. Patterns are collected into pattern graphs, layered graphs that capture the hierarchical composition of smaller patterns into larger ones. Pattern graphs are then abstracted to a finite universe of pattern shapes by collapsing equivalent patterns. This paper shows how the application of production rules can be lifted to pattern shapes, resulting in an over-approximation of the original system behaviour and thus enabling verification on the abstract level.",
keywords = "IR-82080, METIS-289725, Abstract Interpretation, State Space Exploration, Graph Transformation, EWI-22348, Abstraction",
author = "Arend Rensink and Eduardo Zambon",
note = "Winner of the EATCS Award for Best Paper of ICGT 2012; International Conference on Graph Transformation, ICGT 2012 ; Conference date: 24-09-2012 Through 29-09-2012",
year = "2012",
month = sep,
doi = "10.1007/978-3-642-33654-6_5",
language = "Undefined",
isbn = "978-3-642-33653-9",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "66--80",
editor = "H Ehrig and G. Engels and H.J. Kreowski and G. Rozenberg",
booktitle = "International Conference on Graph Transformation (ICGT 2012)",
address = "Germany",
}