An overview of the mCRL2 toolset and its recent advances

S. Cranen; J.F. Groote; J.J.A. Keiren; F.P.M. Stappers; E.P. Vink, de; J.W. Wesselink; T.A.C. Willemse

doi:10.1007/978-3-642-36742-7_15

An overview of the mCRL2 toolset and its recent advances

S. Cranen, J.F. Groote, J.J.A. Keiren, F.P.M. Stappers, E.P. Vink, de, J.W. Wesselink, T.A.C. Willemse

Formal System Analysis

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

112 Citations (Scopus)

1 Downloads (Pure)

Abstract

The analysis of complex distributed systems requires dedicated software tools. The mCRL language and toolset have been developed to support such analysis. We highlight changes and improvements made to the toolset in recent years. On the one hand, these affect the scope of application, which has been broadened with extended support for data structures like infinite sets and functions. On the other hand, considerable progress has been made regarding the performance of our tools for state space generation and model checking, due to improvements in symbolic reduction techniques and due to a shift towards parity game-based solving. We also discuss the software architecture of the toolset, which was well suited to accommodate the above changes, and we address a number of case studies to illustrate the approach.

Original language	English
Title of host publication	Tools and Algorithms for the Construction and Analysis of Systems (19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings)
Editors	N. Piterman, S.A. Smolka
Place of Publication	Berlin
Publisher	Springer
Pages	199-213
ISBN (Print)	978-3-642-36741-0
DOIs	https://doi.org/10.1007/978-3-642-36742-7_15
Publication status	Published - 2013
Event	19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2013) - Rome, Italy Duration: 18 Mar 2013 → 21 Mar 2013 Conference number: 19

Publication series

Name	Lecture Notes in Computer Science
Volume	7795
ISSN (Print)	0302-9743

Conference

Conference	19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2013)
Abbreviated title	TACAS 2013
Country/Territory	Italy
City	Rome
Period	18/03/13 → 21/03/13
Other	Conference held as part of the 16th European Joint Conferences on Theory and Practice of Software (ETAPS 2013)

Access to Document

10.1007/978-3-642-36742-7_15

Cite this

Cranen, S., Groote, J. F., Keiren, J. J. A., Stappers, F. P. M., Vink, de, E. P., Wesselink, J. W., & Willemse, T. A. C. (2013). An overview of the mCRL2 toolset and its recent advances. In N. Piterman, & S. A. Smolka (Eds.), Tools and Algorithms for the Construction and Analysis of Systems (19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings) (pp. 199-213). (Lecture Notes in Computer Science; Vol. 7795). Springer. https://doi.org/10.1007/978-3-642-36742-7_15

Cranen, S. ; Groote, J.F. ; Keiren, J.J.A. et al. / An overview of the mCRL2 toolset and its recent advances. Tools and Algorithms for the Construction and Analysis of Systems (19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings). editor / N. Piterman ; S.A. Smolka. Berlin : Springer, 2013. pp. 199-213 (Lecture Notes in Computer Science).

@inproceedings{d3b4767cb1cf469a877dd01e1858b654,

title = "An overview of the mCRL2 toolset and its recent advances",

abstract = "The analysis of complex distributed systems requires dedicated software tools. The mCRL language and toolset have been developed to support such analysis. We highlight changes and improvements made to the toolset in recent years. On the one hand, these affect the scope of application, which has been broadened with extended support for data structures like infinite sets and functions. On the other hand, considerable progress has been made regarding the performance of our tools for state space generation and model checking, due to improvements in symbolic reduction techniques and due to a shift towards parity game-based solving. We also discuss the software architecture of the toolset, which was well suited to accommodate the above changes, and we address a number of case studies to illustrate the approach.",

author = "S. Cranen and J.F. Groote and J.J.A. Keiren and F.P.M. Stappers and {Vink, de}, E.P. and J.W. Wesselink and T.A.C. Willemse",

year = "2013",

doi = "10.1007/978-3-642-36742-7_15",

language = "English",

isbn = "978-3-642-36741-0",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "199--213",

editor = "N. Piterman and S.A. Smolka",

booktitle = "Tools and Algorithms for the Construction and Analysis of Systems (19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings)",

address = "Germany",

note = "19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2013), TACAS 2013 ; Conference date: 18-03-2013 Through 21-03-2013",

}

Cranen, S, Groote, JF , Keiren, JJA, Stappers, FPM, Vink, de, EP , Wesselink, JW & Willemse, TAC 2013, An overview of the mCRL2 toolset and its recent advances. in N Piterman & SA Smolka (eds), Tools and Algorithms for the Construction and Analysis of Systems (19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings). Lecture Notes in Computer Science, vol. 7795, Springer, Berlin, pp. 199-213, 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2013), Rome, Italy, 18/03/13. https://doi.org/10.1007/978-3-642-36742-7_15

An overview of the mCRL2 toolset and its recent advances. / Cranen, S.; Groote, J.F.; Keiren, J.J.A. et al.
Tools and Algorithms for the Construction and Analysis of Systems (19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings). ed. / N. Piterman; S.A. Smolka. Berlin: Springer, 2013. p. 199-213 (Lecture Notes in Computer Science; Vol. 7795).

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

TY - GEN

T1 - An overview of the mCRL2 toolset and its recent advances

AU - Cranen, S.

AU - Groote, J.F.

AU - Keiren, J.J.A.

AU - Stappers, F.P.M.

AU - Vink, de, E.P.

AU - Wesselink, J.W.

AU - Willemse, T.A.C.

N1 - Conference code: 19

PY - 2013

Y1 - 2013

N2 - The analysis of complex distributed systems requires dedicated software tools. The mCRL language and toolset have been developed to support such analysis. We highlight changes and improvements made to the toolset in recent years. On the one hand, these affect the scope of application, which has been broadened with extended support for data structures like infinite sets and functions. On the other hand, considerable progress has been made regarding the performance of our tools for state space generation and model checking, due to improvements in symbolic reduction techniques and due to a shift towards parity game-based solving. We also discuss the software architecture of the toolset, which was well suited to accommodate the above changes, and we address a number of case studies to illustrate the approach.

AB - The analysis of complex distributed systems requires dedicated software tools. The mCRL language and toolset have been developed to support such analysis. We highlight changes and improvements made to the toolset in recent years. On the one hand, these affect the scope of application, which has been broadened with extended support for data structures like infinite sets and functions. On the other hand, considerable progress has been made regarding the performance of our tools for state space generation and model checking, due to improvements in symbolic reduction techniques and due to a shift towards parity game-based solving. We also discuss the software architecture of the toolset, which was well suited to accommodate the above changes, and we address a number of case studies to illustrate the approach.

U2 - 10.1007/978-3-642-36742-7_15

DO - 10.1007/978-3-642-36742-7_15

M3 - Conference contribution

SN - 978-3-642-36741-0

T3 - Lecture Notes in Computer Science

SP - 199

EP - 213

BT - Tools and Algorithms for the Construction and Analysis of Systems (19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings)

A2 - Piterman, N.

A2 - Smolka, S.A.

PB - Springer

CY - Berlin

T2 - 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2013)

Y2 - 18 March 2013 through 21 March 2013

ER -

Cranen S, Groote JF , Keiren JJA, Stappers FPM, Vink, de EP , Wesselink JW et al. An overview of the mCRL2 toolset and its recent advances. In Piterman N, Smolka SA, editors, Tools and Algorithms for the Construction and Analysis of Systems (19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings). Berlin: Springer. 2013. p. 199-213. (Lecture Notes in Computer Science). doi: 10.1007/978-3-642-36742-7_15

An overview of the mCRL2 toolset and its recent advances

Abstract

Publication series

Conference

Access to Document

Fingerprint

Cite this