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
Jan Friso Groote (born April 13, 1965, in Doetinchem) is a Dutch computer scientist.
Education
Groote studied computer science at Twente University obtaining his master's degree in 1988 under supervision of Ed Brinksma. He obtained his PhD ...
and is currently developed by the Formal Systems Analysis group at
Eindhoven University of Technology
The Eindhoven University of Technology ( nl, Technische Universiteit Eindhoven), abbr. TU/e, is a public technical university in the Netherlands, located in the city of Eindhoven. In 2020–21, around 14,000 students were enrolled in its BSc a ...
,
The Netherlands
)
, anthem = ( en, "William of Nassau")
, image_map =
, map_caption =
, subdivision_type = Sovereign state
, subdivision_name = Kingdom of the Netherlands
, established_title = Before independence
, established_date = Spanish Netherl ...
.
References
*Groote, J.F., Mousavi, M.R. ''Modeling and analysis of communicating systems''. The MIT press. 2014. {{ISBN, 9780262027717.
External links
mCRL2 website
Model checkers
Process calculi