Experiences in developing the mCRL2 toolset

Research output: Contribution to journalArticleAcademicpeer-review

6 Citations (Scopus)

Abstract

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
Volume41
Issue number2
DOIs
Publication statusPublished - 2011

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

  • Cite this