Main menu:

Site search

Categories

Archive

GROOVE version 4.9.3 released

A new GROOVE version was released today. Follow the Downloads link on the left to get it. This version includes a new command-line tool called PrologChecker for running Prolog queries from the terminal.

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.