Experiences in developing the mCRL2 toolset

J.F. Groote; J.J.A. Keiren; F.P.M. Stappers; J.W. Wesselink; T.A.C. Willemse

doi:10.1002/spe.1021

Experiences in developing the mCRL2 toolset

J.F. Groote, J.J.A. Keiren, F.P.M. Stappers, J.W. Wesselink, T.A.C. Willemse

Formal System Analysis

Research output: Contribution to journal › Article › Academic › peer-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 language	English
Pages (from-to)	143-153
Journal	Software : Practice and Experience
Volume	41
Issue number	2
DOIs	https://doi.org/10.1002/spe.1021
Publication status	Published - 2011

Access to Document

10.1002/spe.1021

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

Cite this

@article{1e0634a15e1647158aa8825fa6f41216,

title = "Experiences in developing the mCRL2 toolset",

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.",

author = "J.F. Groote and J.J.A. Keiren and F.P.M. Stappers and J.W. Wesselink and T.A.C. Willemse",

year = "2011",

doi = "10.1002/spe.1021",

language = "English",

volume = "41",

pages = "143--153",

journal = "Software : Practice and Experience",

issn = "0038-0644",

publisher = "Wiley",

number = "2",

}

TY - JOUR

T1 - Experiences in developing the mCRL2 toolset

AU - Groote, J.F.

AU - Keiren, J.J.A.

AU - Stappers, F.P.M.

AU - Wesselink, J.W.

AU - Willemse, T.A.C.

PY - 2011

Y1 - 2011

N2 - 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.

AB - 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.

U2 - 10.1002/spe.1021

DO - 10.1002/spe.1021

M3 - Article

VL - 41

SP - 143

EP - 153

JO - Software : Practice and Experience

JF - Software : Practice and Experience

SN - 0038-0644

IS - 2

ER -