Download
From MCRL2
Latest Release: July 2008 (SVN revision 4838)
| File | Type | Platforms | |
|---|---|---|---|
| Binary | mcrl2-200807.msi | Installable package | Windows |
| Binary | mcrl2-200807-bin-mingw32.exe | Self-extracting Zip file | Windows |
| Source | mcrl2-200807-1.src.tar.bz2 | Tar BZip2 archive | Linux, FreeBSD, Mac OS X |
Please read the installation instructions for installing the toolset.
The list of changes can be found here.
View our list of previous releases. Our next release is scheduled for January 2009.
Development versions
| File | Type | Platforms | |
|---|---|---|---|
| Binary | mcrl2-svn5465-bin-mingw32.exe | Self-extracting Zip file | Windows |
| Source | mcrl2-svn5464-src.tar.bz2 | Tar BZip2 archive | Linux, FreeBSD, Mac OS X |
Subversion: Check out a copy of our SVN source tree to a directory DIR by running:
-
svn checkout https://svn.win.tue.nl/repos/MCRL2/trunk DIR
Please read the Build instructions for installing the toolset from source.
License Information
The source code of the toolset is distributed under the Boost license. In essence this says that the toolset can be used both academically and commercially, as long as the authors of the toolset are adequately (scientifically) acknowledged. The distribution contains some third-party libraries. The licenses under which these libraries have originally been released, still apply.
This page was last modified on 1 December 2008, at 12:19. This page has been accessed 28,048 times.
Copyright © 2005-2009 Technische Universiteit Eindhoven.
Copyright © 2005-2009 Technische Universiteit Eindhoven.
