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.
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
- Publications - List of publications on mCRL2
This page was last modified on 9 July 2008, at 10:38. This page has been accessed 17,263 times.
Copyright © 2005-2009 Technische Universiteit Eindhoven.
Copyright © 2005-2009 Technische Universiteit Eindhoven.

