Experiences in developing the mCRL2 toolset

Research output: Contribution to journalArticleAcademicpeer-review

6 Citations (Scopus)


This paper presents practices and experiences in developing the formal methods toolset mCRL2. Findings are presented based on years of experiences in developing tools in an academic environment. Practical problems and ways to solve them are discussed. We also present the direction that we foresee for the coming years of development in formal methods tool support.
Original languageEnglish
Pages (from-to)143-153
JournalSoftware : Practice and Experience
Issue number2
Publication statusPublished - 2011

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

Cite this