Main menu:

Subpages for Research:

PhD Theses

Here is a list of PhD theses that are directly related to GROOVE. In particular, they show how some key features of GROOVE, e.g., model checking graph grammars, control programs, were developed.


  • Staijen, Tom. Graph-based Specification and Verification for Aspect-Oriented Languages.


Yourkit Profiler logo

The development of the tool was assisted by the use
of the Yourkit Java Profiler.
yWorks logo
The javadoc documentation is generated
using the yDoc doclet by yWorks.