Home
From MCRL2
| Users mailing list | A mailing list for mCRL2 users has been created. If you have any questions regarding the language or tools, please subscribe at the mailing list page and post your questions! |
|---|
mCRL2 is a formal specification language with an associated toolset. The toolset can be used for modelling, validation and verification of concurrent systems and protocols.
The toolset supports a collection of tools for linearisation, simulation, state-space exploration and generation and tools to optimise and analyse specifications. Moreover, state spaces can be manipulated, visualised and analysed.
The mCRL2 toolset is developed at the department of Mathematics and Computer Science of the Technische Universiteit Eindhoven, in collaboration with LaQuSo and CWI.
The mCRL2 toolset is available from our Download page for the following platforms:
- Microsoft Windows
- Linux
- Apple Mac OS X
- FreeBSD
- Solaris
Screenshots of some tools can be viewed on our Screenshots page.
This page was last modified on 21 August 2008, at 15:13. This page has been accessed 32,134 times.
Copyright © 2005-2009 Technische Universiteit Eindhoven.
Copyright © 2005-2009 Technische Universiteit Eindhoven.
