Views
User manual
From MCRL2
| User manual |
Welcome to the mCRL2 User manual. The manual can be browsed using the navigation menu on the right and the links on the bottom of the page.
It is also possible to view the entire manual on a single page.
What version of the toolset does this manual apply to?
This online version of the manual always applies to the most recent development version of the mCRL2 toolset.
What about release-specific versions of the manual?
As of July 2008, release-specific versions of the manual are distributed with the release in PDF format. These versions are also available for download here. See the following table for an overview.
| Release | File |
|---|---|
| January 2010 | User_manual-201001.pdf 
|
| January 2009 | User_manual-200901.pdf
|
| July 2008 | User_manual-200807.pdf
|
Introduction 
|
Copyright © 2005-2010 Technische Universiteit Eindhoven.
