Main menu:

Site search



GROOVE version 4.8.7 released

The current GROOVE version is 4.8.7. You can get it from the Download page.

Apart from the bug fixes, the main change in this version is the improvement of reporting in the Generator, especially for LTL model checking.

GROOVE version 4.8.5 released

Apart from bug fixes, the major change since version 4.7 is:

  • Support for importing and exporting ECORE, DOT, GXL
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.