= Downloads =

=== Mulan, Renew and example applications binary preview ===
 
 1. Download zip file : [https://paose.informatik.uni-hamburg.de/downloads/RenewMTP-20120124.zip Renew binary (Mulan Technology Preview / January 2012)]
 1. Extract zip file
 1. Go to folder where zip file has been extracted (i.e. ''cd !RenewMulanBinary'')
 1. Run via command line:
     `java -jar loader.jar gui`

=== Renew release ===

Renew 2.2 is available at http://www.renew.de/

=== Lola Plugin ===

The Lola Plugin for Renew integrates verification capabilities in the Renew tool. It requires Renew 2.2 which can be also downloaded from this site. To use the plugin, just download the zip-file for your system type and unzip it into the plugins directory of Renew 2.2. To use the ability to display reachability graphs you will additionally need graph2dot and dot (part of graphviz). Please consult the README file which is part of the distribution. 
When you start Renew, you should see Lola in the Start screen and the menu entry "Lola Integration" in the Tool menu.

[https://paose.informatik.uni-hamburg.de/downloads/lola-0.7-linux.zip Lola Plugin 0.7 for Linux]

[https://paose.informatik.uni-hamburg.de/downloads/lola-0.7-win.zip Lola Plugin 0.7 for Windows]

[https://paose.informatik.uni-hamburg.de/downloads/lola-0.7-mac.zip Lola Plugin 0.7 for Mac OS X] (January 2012)