MCRL2
Topic history | v1 (current) | created by jjones
Details
MCRL2
see v1 | created by jjones | Add topic "MCRL2"
- Title
- MCRL2
- Description
- 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.
- Link
- https://en.wikipedia.org/?curid=17163257
resources
has official mCRL2 tutorial
treated in Formal methods
authors
This topic has no history of related authors.