This is a fork of the official mCRL2 svn repository at https://svn.win.tue.nl/repos/MCRL2/trunk. In this fork, an experimental partial model checking tool formulaquotient is added to the toolset. Read more about the tool in the partial model checking repository.

This directory contains the mCRL2 toolset.

See the file INSTALL for compilation and installation instructions.

Report bugs at http://www.mcrl2.org/issuetracker. Please include the version number from mcrl22lps --version, and a complete, self-contained test case in each bug report.

If you have questions about using the mCRL2 toolset which the documentation does not answer, send mail to mcrl2-users@listserver.tue.nl.

Copyright © 2005-2013 Eindhoven University of Technology

See the file COPYING for license information.