Home

From MCRL2

News
Release January 2010	A new version of mCRL2 has been released on February 15, 2010! See the Download page for more information. The next release is scheduled for July 2010.
Bits&Chips article	Read about mCRL2 in the August 2009 issue of Bits&Chips, in the article (in Dutch) titled Modelgebaseerde verificatie als wapen in de strijd voor productkwaliteit.
Release January 2009	A new version of mCRL2 has been released on January 26, 2009! See the Download page for more information. The next release is scheduled for January 2010.
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.