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 […]

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.