Main menu:

Site search



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 rule list
  • Improved display of enabled/explored matches in rule list
  • Abs function added to algebra operations
  • Multiline text in remark nodes now kept in order
  • Resource name ordering adapted to a more human-friendly treatment of numbers
  • Layout changes outside graph editor saved automatically & undoably
  • Automatic exploration in the presence of input parameters enabled for point algebra
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.