Home Page

Contact: ratsy@list.fbk.eu

edit SideBar

Documentation

Installation Instructions

Unfortunately, the RATSY binaries do not easily work with up-to-date linux installations. However, you can install the following packages and try to compile it from source.

  sudo apt-get install subversion
  sudo apt-get install build-essential
  sudo apt-get install python
  sudo apt-get install python-dev
  sudo apt-get install libreadline5
  sudo apt-get install libexpat1
  sudo apt-get install autoconf
  sudo apt-get install automake
  sudo apt-get install libtool
  sudo apt-get install bison
  sudo apt-get install flex
  sudo apt-get install pkg-config
  sudo apt-get install swig
  sudo apt-get install python-glade2
  sudo apt-get install python-gtk2-dev
  sudo apt-get install glade 

Moreover, you might have to do the following changes:

- In NuSMV-game/NuSMVWrap: delete dd.ini and rename
  'dd.ini.swig.1.3.39' to 'dd.ini' (as explained in the manual)
- In NuSMV-game/NuSMVWrap/Makefile:
  Change
    LIBS = -lpython${pyver} -lnugat -lnusmvcore -lMiniSat -lstdc++
  to
    LIBS = -lpython${pyver} -lnusmvcore -lnugat -lMiniSat -lstdc++
- If NuSMV-game/build.sh  reports a linking problem when compiling nusmv,
  I did the follwing workaround:
  - open a shell in the directory NuSMV-game/nusmv
  - execute: /bin/bash ./libtool --tag=CC   --mode=link gcc -std=gnu99  -fno-strict-aliasing -g -O2 -ldl   -o src/ltl/ltl2smv/ltl2smv ltl2smvMain.o libnusmv.la  -lm /path_to/NuSMV-game/nusmv/src/parser/.libs/libsmvgrammar.so.0
  - execute NuSMV-game/build.sh again 

Alternatively, you can use a virtual machine. Download our virtual machine where everything is already installed.

It is an Ubuntu 12.04 (ubuntu-12.04.4-desktop-i386). The username is 'ratsy', the password is 'ratsy' as well. The image can be downloaded in vdi [1] and vmdk [2] format. The image contains the official source release but also the current version of RATSY taken from our internal SVN. There are no significant differences, though.

[1] https://seafile.iaik.tugraz.at/f/6b7f5e1868/?raw=1

    size: 4058124288 Byte = 4.1 GB
    md5sum: a8adf848a3750738d99b4c24f0b9a147
    sha1sum: 15c07be27e4aa063def437e50635c2f54df9fb74

[2] https://seafile.iaik.tugraz.at/f/4ee4bfbf36/?raw=1

    size: 3839819776 Byte = 3.8 GB
    md5sum: 12ca9912f1f499c8cbcadc5932607dd7
    sha1sum: ab2b0a09b8660470c31a9ac647ff0b16b1e7d1c7

RATSY User's Manual

You can download the RATSY user's manual as PDF document.

The following older versions are also available:

Papers

RATSY features in the following papers:

  • (pdf) Roderick Bloem, Alessandro Cimatti, Karin Greimel, Robert Könighofer, Marco Roveri, Viktor Schuppan, and Richard Seeber: RATSY - A new Requirements Analysis Tool with Synthesis. To appear in: Proceedings of the 22nd International Conference on Computer Aided Verification (CAV'10), Edinburgh, UK, July 15-19, 2010.
Edit - History - Print - Recent Changes - Search
Page last modified on April 20, 2016, at 02:48 PM