Experience in developing the mCRL2 toolset

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

Experience 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: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

41 Downloads (Pure)

Abstract

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 language	English
Title of host publication	Informal 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)
Editors	F. Gervais, B. Fraikin
Pages	1-3
Publication status	Published - 2010

Access to Document

Metis246406Final published version, 69.1 KB

Cite this

@inproceedings{cce200026a294ac09cc53160370829ed,

title = "Experience in developing the mCRL2 toolset",

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

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

year = "2010",

language = "English",

pages = "1--3",

editor = "F. Gervais and B. Fraikin",

booktitle = "Informal Proceedings of the 1st Workshop on Tool Building in Formal Methods (TBFM'10, Orford, Qu{\'e}bec, Canada, February 22, 2010; in conjunction with ABZ 2010)",

}

Experience in developing the mCRL2 toolset. / Groote, J.F.; Keiren, J.J.A.; Stappers, F.P.M. et al.
Informal 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). ed. / F. Gervais; B. Fraikin. 2010. p. 1-3.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Experience 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 - 2010

Y1 - 2010

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

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

M3 - Conference contribution

SP - 1

EP - 3

BT - Informal 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)

A2 - Gervais, F.

A2 - Fraikin, B.

ER -

Experience in developing the mCRL2 toolset

Abstract

Access to Document

Fingerprint

Cite this