Documentation

From MCRL2

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

• User manual - How to install and use the mCRL2 toolset.
• Language reference - The mCRL2 specification language.
• Data sheet - A data sheet on the mCRL2 toolset.

Other useful pages and documents:

• Tool manual pages - Manual pages for all mCRL2 tools
• FAQ - Frequently Asked Questions
• Tutorial - How to use the toolset
• 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