Archive for June, 2012
GROOVE version 4.5.2 released
GROOVE version 4.5.2 was released. You can get it from the Download page. This is a bug fix release.
Posted: June 6th, 2012 under News.
Comments: none
GROOVE
GRaphs for Object-Oriented VErification
Site search
Categories
-
Development (0)
Documentation (2)
Features (0)
General (0)
News (25)
Release (5)
Research (0)
Tips and Tricks (2)
Usage (4)
Archive
- June 2017 (1)
- June 2015 (2)
- February 2014 (1)
- June 2013 (1)
- March 2013 (1)
- November 2012 (1)
- June 2012 (1)
- May 2012 (1)
- October 2011 (3)
- June 2011 (2)
- March 2011 (1)
- February 2011 (1)
- January 2011 (1)
- December 2010 (1)
- October 2010 (1)
- August 2010 (1)
- June 2010 (3)
- November 2007 (5)
- September 2007 (1)
- June 2007 (1)
Links
The development of the tool was assisted by the use
of the Yourkit Java Profiler.
The javadoc documentation is generated
using the yDoc doclet by yWorks.