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