The tool described here is the first part of a tool set called GROOVE (GRaph-based Object-Oriented VErification) for software model checking of object-oriented systems. The special feature of GROOVE, which sets it apart from other model checking approaches, is that it is based on graph transformations. It uses graphs to represent state snapshots; transitions arise from the application of graph production rules. This yields so-called Graph Transition Systems (GTSrsquos) as computational models.
|Number of pages||7|
|Publication status||Published - 2004|
|Event||2nd International Workshop on Applications of Graph Transformations with Industrial Relevance, AGTIVE 2003 - Charlottesville, United States|
Duration: 27 Sep 2003 → 1 Oct 2003
Conference number: 2
|Conference||2nd International Workshop on Applications of Graph Transformations with Industrial Relevance, AGTIVE 2003|
|Period||27/09/03 → 1/10/03|