Main menu:

Site search

Categories

Archive

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.

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.