@inproceedings{cd35ce3293b349a9a7d854a4e374ab03,
title = "Graph Subsumption in Abstract State Space Exploration",
abstract = "In this paper we present the extension of an existing method for abstract graph-based state space exploration, called neighbourhood abstraction, with a reduction technique based on subsumption. Basically, one abstract state subsumes another when it covers more concrete states; in such a case, the subsumed state need not be included in the state space, thus giving a reduction. We explain the theory and especially also report on a number of experiments, which show that subsumption indeed drastically reduces both the state space and the resources (time and memory) needed to compute it.",
keywords = "EWI-22467, Graph Transformation, GROOVE, METIS-289768, IR-82192, Abstract State Space Exploration, Symmetry Reduction",
author = "Eduardo Zambon and Arend Rensink",
note = "Open Access ; First Workshop on Graph Inspection and Traversal Engineering, GRAPHite 2012 ; Conference date: 01-04-2012 Through 01-04-2012",
year = "2012",
month = apr,
doi = "10.4204/EPTCS.99.6",
language = "Undefined",
series = "Electronic Proceedings in Theoretical Computer Science",
publisher = "Open Publishing Association",
pages = "35--49",
editor = "A. Wijs and D. Bosnacki and S. Edelkamp",
booktitle = "Proceedings of First Workshop on Graph Inspection and Traversal Engineering (GRAPHite 2012)",
address = "Australia",
}