Previous releases of mCRL2
This page shows a list of historic releases of mCRL2.
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.