Neighbourhood Abstraction in GROOVE - Tool Paper

Share/Save/Bookmark

Rensink, Arend and Zambon, Eduardo (2010) Neighbourhood Abstraction in GROOVE - Tool Paper. In: Fourth International Workshop on Graph-Based Tools, GraBaTs 2010, 28 September 2010, Enschede, NL. (In Press)

[img]
Preview
PDF
182Kb
Abstract:In this paper we discuss the implementation of neighbourhood graph abstraction in the GROOVE tool set. Important classes of graph grammars may have unbounded state spaces and therefore cannot be verified with traditional model checking techniques. One way to address this problem is to perform graph abstraction, which allows us to generate a finite abstract state space that over-approximates the original one. In previous work we presented the theory of neighbourhood abstraction. In this paper, we present the implementation of this theory in GROOVE and illustrate its applicability with a case study that models a single-linked list.
Item Type:Conference or Workshop Item
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/72606
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page