From RAT

Main: RAT Download


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

Older versions:

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:

The API documentation for the RAT Python modules can automatically extracted from the source code using the epydoc tool available from


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

Retrieved from
Page last modified on December 27, 2006, at 10:33 AM