Instructions for installing LTSmin and replicating the runs reported in our TACAS 2015 submission.
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
connectfour
rers
sokoban
.gitignore
LICENSE
README.md
install-mcrl2.sh
install-memtime.sh
install.sh

README.md

ltsmin-tacas2015

Instructions for installing LTSmin and replicating the runs reported in our TACAS 2015 submission.

Some scripts assume the tools to be installed in the current directory (ltsmin-tacas2015).

Prerequisites

First, for several experiments, the mCRL2 toolset is required. We support the official 201409.1 release. To install, run install-mcrl2.sh. The script installs mCRL2 in your current working directory. Be patient, building mCRL2 can take a while. Perhaps it is a good idea to check out the binary releases of mCRL2: http://mcrl2.org/release/user_manual/download.html.

You may need to execute ldconfig as root or run:

export LD_LIBRARY_PATH=$LD_LIBRARY_PATH:<prefix>/lib/mcrl2/

We use memtime for measuring time and memory usage. To install, run install-memtime.sh.

Installing LTSmin

For installing LTSmin we have the script install.sh. This installs LTSmin in your current working directory and expects mCRL2 to be installed there as well.

Case studies

Models and scripts to run the case studies are in the subdirectories:

  • RERS in subdirectory rers
  • Connect Four in subdirectory connectfour
  • Sokoban in subdirectory sokoban