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.