Loading...
Please wait, while we are loading the content...
Similar Documents
Electronic Communications of the EASST Volume 32 ( 2010 ) Proceedings of the Fourth International Workshop on Graph-Based Tools ( GraBaTs 2010 ) Neighbourhood Abstraction in GROOVE
| Content Provider | Semantic Scholar |
|---|---|
| Author | Rensink, Arend |
| Copyright Year | 2011 |
| Abstract | Important classes of graph grammars have infinite 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 developed the theory of neighbourhood abstraction. In this paper, we present the implementation of this theory in GROOVE and illustrate its use with a small grammar that models operations on a single-linked list. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://journal.ub.tu-berlin.de/eceasst/article/download/501/475 |
| Alternate Webpage(s) | https://journal.ub.tu-berlin.de/eceasst/article/download/501/475 |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
