Topic | v1 | created by jjones |

mCRL2 is a specification language for describing concurrent discrete event systems. It is accompanied with a toolset, that facilitates tools, techniques and methods for simulation, analysis and visualization of behaviour. The behavioural part of the language is based on process algebra (Algebra of Communicating Processes). The data part of the toolset is based on abstract equational data types extended with higher-order functions. The toolset was founded by Jan Friso Groote and is currently developed by the Formal Systems Analysis group at Eindhoven University of Technology, The Netherlands.


is Programming language

A programming language is a formal language comprising a set of instructions that produce various kin...

Edit details Edit relations Attach new author Attach new topic Attach new resource

has official mCRL2 tutorial

In this tutorial we give a basic introduction into the use of the mCRL2 toolset. In each of the secti...

treated in Formal methods

In this course, we will study a collection of techniques that are essential in the construction of la...