The mCRL2 toolset

J.F. Groote; J.J.A. Keiren; A.H.J. Mathijssen; B. Ploeger; F.P.M. Stappers; C. Tankink; Y.S. Usenko; M.J. Weerdenburg, van; J.W. Wesselink; T.A.C. Willemse; J. Wulp, van der

The mCRL2 toolset

J.F. Groote, J.J.A. Keiren, A.H.J. Mathijssen, B. Ploeger, F.P.M. Stappers, C. Tankink, Y.S. Usenko, M.J. Weerdenburg, van, J.W. Wesselink, T.A.C. Willemse, J. Wulp, van der

Formal System Analysis

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

3 Downloads (Pure)

Abstract

We describe the toolset for the behavioural specification language mCRL2. The purpose of the toolset is to analyse abstract models that describe the communication behaviour of software based systems. With the help of the toolset we want to efficiently detect and prevent problems in software, preferably before it is built. The tools allow to transform specifications, generate and visualise state spaces, verify modal properties, and much more. In order to facilitate reuse of the code most of the functionality is included in libraries. This makes the toolset suitable as a platform for third party tool development and for other specification languages as well. The toolset is distributed under the Boost license, which permits such use.

Original language	English
Title of host publication	Informal proceedings of the International Workshop on Advanced Software Development Tools and Techniques (WASDeTT 2008, Paphos, Cyprus, July 8, 2008; co-located with ECOOP)
Pages	5-1/10
Publication status	Published - 2008

Cite this

Groote, J. F., Keiren, J. J. A., Mathijssen, A. H. J., Ploeger, B., Stappers, F. P. M., Tankink, C., Usenko, Y. S., Weerdenburg, van, M. J., Wesselink, J. W., Willemse, T. A. C., & Wulp, van der, J. (2008). The mCRL2 toolset. In Informal proceedings of the International Workshop on Advanced Software Development Tools and Techniques (WASDeTT 2008, Paphos, Cyprus, July 8, 2008; co-located with ECOOP) (pp. 5-1/10)

@inproceedings{785409e7f9ab49d38b5c72a1a002d57d,

title = "The mCRL2 toolset",

abstract = "We describe the toolset for the behavioural specification language mCRL2. The purpose of the toolset is to analyse abstract models that describe the communication behaviour of software based systems. With the help of the toolset we want to efficiently detect and prevent problems in software, preferably before it is built. The tools allow to transform specifications, generate and visualise state spaces, verify modal properties, and much more. In order to facilitate reuse of the code most of the functionality is included in libraries. This makes the toolset suitable as a platform for third party tool development and for other specification languages as well. The toolset is distributed under the Boost license, which permits such use.",

author = "J.F. Groote and J.J.A. Keiren and A.H.J. Mathijssen and B. Ploeger and F.P.M. Stappers and C. Tankink and Y.S. Usenko and {Weerdenburg, van}, M.J. and J.W. Wesselink and T.A.C. Willemse and {Wulp, van der}, J.",

year = "2008",

language = "English",

pages = "5--1/10",

booktitle = "Informal proceedings of the International Workshop on Advanced Software Development Tools and Techniques (WASDeTT 2008, Paphos, Cyprus, July 8, 2008; co-located with ECOOP)",

}

Groote, JF , Keiren, JJA, Mathijssen, AHJ, Ploeger, B, Stappers, FPM, Tankink, C, Usenko, YS, Weerdenburg, van, MJ, Wesselink, JW , Willemse, TAC & Wulp, van der, J 2008, The mCRL2 toolset. in Informal proceedings of the International Workshop on Advanced Software Development Tools and Techniques (WASDeTT 2008, Paphos, Cyprus, July 8, 2008; co-located with ECOOP). pp. 5-1/10.

The mCRL2 toolset. / Groote, J.F.; Keiren, J.J.A.; Mathijssen, A.H.J. et al.
Informal proceedings of the International Workshop on Advanced Software Development Tools and Techniques (WASDeTT 2008, Paphos, Cyprus, July 8, 2008; co-located with ECOOP). 2008. p. 5-1/10.

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

TY - GEN

T1 - The mCRL2 toolset

AU - Groote, J.F.

AU - Keiren, J.J.A.

AU - Mathijssen, A.H.J.

AU - Ploeger, B.

AU - Stappers, F.P.M.

AU - Tankink, C.

AU - Usenko, Y.S.

AU - Weerdenburg, van, M.J.

AU - Wesselink, J.W.

AU - Willemse, T.A.C.

AU - Wulp, van der, J.

PY - 2008

Y1 - 2008

N2 - We describe the toolset for the behavioural specification language mCRL2. The purpose of the toolset is to analyse abstract models that describe the communication behaviour of software based systems. With the help of the toolset we want to efficiently detect and prevent problems in software, preferably before it is built. The tools allow to transform specifications, generate and visualise state spaces, verify modal properties, and much more. In order to facilitate reuse of the code most of the functionality is included in libraries. This makes the toolset suitable as a platform for third party tool development and for other specification languages as well. The toolset is distributed under the Boost license, which permits such use.

AB - We describe the toolset for the behavioural specification language mCRL2. The purpose of the toolset is to analyse abstract models that describe the communication behaviour of software based systems. With the help of the toolset we want to efficiently detect and prevent problems in software, preferably before it is built. The tools allow to transform specifications, generate and visualise state spaces, verify modal properties, and much more. In order to facilitate reuse of the code most of the functionality is included in libraries. This makes the toolset suitable as a platform for third party tool development and for other specification languages as well. The toolset is distributed under the Boost license, which permits such use.

M3 - Conference contribution

SP - 5-1/10

BT - Informal proceedings of the International Workshop on Advanced Software Development Tools and Techniques (WASDeTT 2008, Paphos, Cyprus, July 8, 2008; co-located with ECOOP)

ER -

The mCRL2 toolset

Abstract

Fingerprint

Cite this