Main menu:

Site search



Archive for November, 2012

GROOVE version 4.7.0 released

Apart from bug fixes, the changes in the last two versions are:

Support for GROOVY added (see
Exploration now always halted after 1000 states giving the user choice to proceed
LTS display always limited to displaying up to used-defined state number (disabling gone)
LTS and state tabs are now main display tabs
Recipe support much improved, recipes shown in […]

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.