Documentation

From MCRL2

Welcome to the mCRL2 documentation! The following documents are available:

• User manual - How to install and use the mCRL2 toolset.
• Tool manual pages - Manual pages for all mCRL2 tools
• Tutorial - How to use the toolset
• Language reference - The mCRL2 specification language.
• Fact sheet - A fact sheet on the mCRL2 toolset.

Other useful pages and documents:

• FAQ - Frequently Asked Questions
• CMake build instructions - A how-to for installing the toolset from source with Cmake.
• CMake FAQ - Frequently Asked Questions about CMake
• File formats - File formats used by the toolset
• Labelled Transition Systems
• Parameterised Boolean Equation Systems
• Publications - List of publications on mCRL2
• Corporate identity - mCRL2 logos