µCRL toolset

Download page

The source distribution  is available for platforms
Solaris 2.4 (Sun Sparc)
Irix 6.3 (SGI)
Linux (INTEL)
Darwin 7.8.0 (Power Macintosh, Mac OS X 10.3)
Darwin 8.7.1 (Intel Macintosh, Mac OS X 10.4)

The project is still in research phase. The µCRL toolset beta version  2.18.5 , which is freely available under the conditions of this license,
can be downloaded here. The following commands must be entered to unpack and untar the obtained file.
  1. gunzip mcrl-2.18.5.tar.gz
  2. tar xf mcrl-2.18.5.tar
  3. cd mcrl-2.18.5
  4. more INSTALL
The file INSTALL in the top directory of the distribution contains the installation instructions. A tutorial is included in the distribution. The following tools must be present to compile and install the µCRL-Toolset. A manual ps or pdf is hidden behind these links . Also online manual pages are available.

There is a page with information about how to run µCRL on Windows.

A translator from a subset of mcrl2 (.lps format) to mcrl1 (.tbf format), called mcrl22mcrl, is downloadable. It is independent of the operating system provided that the java 5 runtime environment is installed. Here follows the installation instructions.

  1. Use java runtime environment versie 5
  2. Start the program with java -jar mcrl22mcrl.jar input.lps output.tbf in the directory where mcrl22mcrl.jar is located

A java version of (a subset) of the toolset, called jmcrl, is downloadable. It is independent of the operating system provided that the java 5 runtime environment is installed. Besides the classical toolset actions as instantiating and stepping it can display single rewrite steps on entered terms. Terms and rewrite systems will be displayed as a tree. Here follows the installation instructions.

  1. Download jmcrl
  2. Use java runtime environment versie 5
  3. Start the program with java -jar jmcrl.jar input.tbf in the directory where jmcrl.jar is located

Registration as a user and/or tester of the µCRL toolset

This registration is voluntary. The intention of this registration is to keep you informed about further developments. We are also interested in feed back about the the toolset (Email to Bert.Lisser@cwi.nl ).
Name
Institute
Adress
City
Zip Code
Country
Email
Do you want to keep informed about this and coming releases of the toolset.

The µCRL-Toolset is created and is maintained by
Jan Friso Groote and Bert Lisser,
department of Software Engineering, CWI,
Kruislaan 413, Amsterdam,1098 SJ (NL)
Telephone +31 20 592 4232
Email Bert.Lisser@cwi.nl

Back to µCRL home page