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.
Posted: February 26th, 2014 under News.
Comments: none
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.
Posted: June 3rd, 2013 under News.
Comments: none