Experience in developing the mCRL2 toolset

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

41 Downloads (Pure)


mCRL2 is a language with a toolset for formal analysis of behaviour of concurrent systems. It is developed in an academic research group to support process algebra based verification in an academic as well as an industrial setting. This paper provides an insight into the experiences and practises in developing and maintaining the mCRL2 toolset.
Original languageEnglish
Title of host publicationInformal Proceedings of the 1st Workshop on Tool Building in Formal Methods (TBFM'10, Orford, Québec, Canada, February 22, 2010; in conjunction with ABZ 2010)
EditorsF. Gervais, B. Fraikin
Publication statusPublished - 2010


Dive into the research topics of 'Experience in developing the mCRL2 toolset'. Together they form a unique fingerprint.

Cite this