Research
Go here to visit the EPrints page on groove-related publications.
GROOVE
GRaphs for Object-Oriented VErification
Subpages for Research:
The development of the tool was assisted by the use
of the Yourkit Java Profiler.
The javadoc documentation is generated
using the yDoc doclet by yWorks.