Home

From MCRL2

News
Release July 2011 (Bugfix 1)	A new version of mCRL2 has been released on October 17, 2011! This fixes an infinite loop in lpsconfcheck. See the Download page for more information. The next release is scheduled for January 2012.
Release July 2011	A new version of mCRL2 has been released on July 15, 2011! See the Download page for more information. The next release is scheduled for January 2012.
Ubuntu package	Users of Ubuntu 10.10 (Maverick) can now install a version of mCRL2 from the package manager.
Book chapter	Read about mCRL2 in the recently published book Process Algebra for Parallel and Distributed Processing by Michael Alexander and William Gardner (editors), CRC Press, 2008.
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, CWI and the University of Twente.

The mCRL2 toolset is available from our Download page for the following platforms:

• Microsoft Windows
• Linux
• Apple Mac OS X
• FreeBSD

Screenshots of some tools can be viewed on our Screenshots page.