The mCRL2 toolkit can be run on a number of different platforms. For some platforms, precompiled binaries are available. The table below provides the latest release of the toolset.
N.B. The tool lpsxsim fails to load .lps files under Windows. A new version of this tool can be downloaded here: http://www.mcrl2.org/download/release/lpsxsim_32bit.zip and http://www.mcrl2.org/download/release/lpsxsim_64bit.zip. The tool should be run standalone from the directory in which the zip archive is extracted, otherwise the Qt libraries may not be found.
Directly installable packages of the mCRL2 toolset are constructed every night. They are available here.
If you are using a Linux distribution that is not listed, you may wish to try compiling mCRL2 yourself.