Recent Changes - Search:

Home Page

Contact: rat@fbk.eu

edit SideBar

RAT Download

Main.Download History

Hide minor edits - Show changes to markup

December 27, 2006, at 10:33 AM by 151.44.128.113 -
Changed lines 4-7 from:

Latest release of RAT-1.1.0 can be downloaded by clicking the following rat-1.1.0.tar.bz2.

Older version ''RAT-1.0.0"" can be found at rat-1-0.tar.bz2.

to:

Latest release of RAT-1.2.0 can be downloaded by clicking the following rat-1.2.0.tar.gz.

Older versions:

  • RAT-1.1.0 can be found at rat-1.1.0.tar.bz2.
  • RAT-1.0.0 can be found at rat-1-0.tar.bz2.
August 22, 2006, at 07:42 PM by 10.30.0.83 -
Changed lines 6-7 from:

Older version 1.0.0 can be found at rat-1-0.tar.bz2.

to:

Older version ''RAT-1.0.0"" can be found at rat-1-0.tar.bz2.

August 22, 2006, at 07:39 PM by 10.30.0.83 -
Changed lines 4-7 from:

Latest release of RAT-1.1.0 can be downloaded by clicking the following rat-1.1.0.tar.bz2.

'-Older version 1.0.0 can be found at rat-1-0.tar.bz2. -'

to:

Latest release of RAT-1.1.0 can be downloaded by clicking the following rat-1.1.0.tar.bz2.

Older version 1.0.0 can be found at rat-1-0.tar.bz2.

Deleted line 8:
August 22, 2006, at 07:38 PM by 10.30.0.83 -
Changed lines 4-7 from:

Latest release of RAT can be downloaded by clicking the following rat-1.1.0.tar.bz2.

Older version 1.0.0 can be found at rat-1-0.tar.bz2.

to:

Latest release of RAT-1.1.0 can be downloaded by clicking the following rat-1.1.0.tar.bz2.

'-Older version 1.0.0 can be found at rat-1-0.tar.bz2. -'

August 22, 2006, at 07:29 PM by 10.30.0.83 -
Changed lines 4-5 from:

Latest release of RAT can be downloaded by clicking the following http://rat.itc.it/download/rat-1.1.0.tar.bz2|rat-1.1.0.tar.bz2]].

to:

Latest release of RAT can be downloaded by clicking the following rat-1.1.0.tar.bz2.

August 22, 2006, at 07:28 PM by 10.30.0.83 -
Changed lines 4-6 from:

The RAT tool can be downloaded by clicking the following rat-1-0.tar.bz2.

to:

Latest release of RAT can be downloaded by clicking the following http://rat.itc.it/download/rat-1.1.0.tar.bz2|rat-1.1.0.tar.bz2]].

Older version 1.0.0 can be found at rat-1-0.tar.bz2.

November 29, 2005, at 03:53 PM by 192.168.250.57 -
Changed lines 26-27 from:

For generating the HTML programmer manual the epydoc tool is required.

to:

The API documentation for the RAT Python modules can automatically extracted from the source code using the epydoc tool available from http://epydoc.sourceforge.net.

November 28, 2005, at 05:43 PM by 192.168.250.57 -
Changed lines 26-27 from:

For generating the HTML programmer manual the [[http://epydoc.sourceforge.net|epydoc] tool is required.

to:

For generating the HTML programmer manual the epydoc tool is required.

November 28, 2005, at 05:43 PM by 192.168.250.57 -
Added lines 26-27:

For generating the HTML programmer manual the [[http://epydoc.sourceforge.net|epydoc] tool is required.

November 28, 2005, at 10:48 AM by 192.168.250.57 -
Changed lines 5-6 from:

The RAT tool can be downloaded by clicking the following rat-1-0.tar.bz2.

to:

The RAT tool can be downloaded by clicking the following rat-1-0.tar.bz2.

November 28, 2005, at 10:46 AM by RC - Fixed a couple of typos
Changed lines 5-6 from:

The RAT tool can be downloaded by cliking the following rat-1-0.tar.bz2.

to:

The RAT tool can be downloaded by clicking the following rat-1-0.tar.bz2.

Changed lines 26-27 from:

Licence

to:

License

November 25, 2005, at 02:24 PM by 192.168.250.57 -
Added lines 1-29:

(:title RAT Download:)

Download

The RAT tool can be downloaded by cliking the following rat-1-0.tar.bz2.

System Requirements

The RAT tool has been developed under Linux using the Python language and the PyGTK widget toolkit.

RAT uses the model checkers NuSMV and an enhanced version of Vis for some computations. Binary executable files for both the model checkers are shipped with the provided RAT package. Both the executable files have been compiled under Linux on a 32bit x86 architecture and will not work on different platforms.

If RAT is required to be executed on different platforms, it will be necessary to compile the underlying model checkers.

For running RAT the following libraries are mandatory:

  • Python version 2.2 or later. (http://www.python.org/)
  • PyGTK version 2.4 or later. (http://www.pygtk.org/)

Licence

RAT is distributed under GNU LESSER GENERAL PUBLIC LICENSE Version 2.1, February 1999 (LGPL).

Edit - History - Print - Recent Changes - Search
Page last modified on December 27, 2006, at 10:33 AM