Main menu:

Site search

Categories

Archive

Archive for June, 2011

GROOVE version 4.4.1 released

Today GROOVE version 4.4.1 was released. You can get it from the Download page.
This is a release intended to fix a serious bug that prevented editing rules.
There are two new funcionalities, namely:

New ‘Find a Final State’ action (keyboard shortcut Ctrl-End) that takes the predefined exploration strategy and after exploring switches to a final state.
New keyboard […]

GROOVE version 4.4.0 released

Today GROOVE version 4.4.0 was released. You can get it from the Download page.
This is a major update version, with many changes in the tool set, namely:

Bug fixes.
Major refactoring of the groove.io package to provide better import/export functionality to external formats.
Integration of a Prolog interpreter into the Simulator.
Unified syntax for LTL and CTL formulas.
Writing to […]

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.