MCRL2 http://www.mcrl2.org/mcrl2/wiki/index.php/Home MediaWiki 1.13.2 first-letter Media Special Talk User User talk MCRL2 MCRL2 talk Image Image talk MediaWiki MediaWiki talk Template Template talk Help Help talk Category Category talk LaTeX Private 23 3933 2011-10-19T06:07:50Z Jkeiren 15 {|class="wikitable" !colspan=3 | ''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 [http://www.ubuntu.com/ 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 [http://books.google.nl/books?id=Kgppx_BDwSQC ''Process Algebra for Parallel and Distributed Processing''] by Michael Alexander and William Gardner (editors), CRC Press, 2008. | [[Image:BookAlexanderGardner.jpg|70px]] |- ! 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 [http://listserver.tue.nl/mailman/listinfo/mcrl2-users mailing list page] and post your questions! |} [[Image:Statespace_Colourful.png|300px|right]] 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 [http://www.tue.nl Technische Universiteit Eindhoven], in collaboration with [http://www.laquso.com LaQuSo], [http://www.cwi.nl CWI] and the [http://fmt.cs.utwente.nl/ 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.