An overview of the mCRL2 toolset and its recent advances

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

87 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 languageEnglish
Title of host publicationTools 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)
EditorsN. Piterman, S.A. Smolka
Place of PublicationBerlin
PublisherSpringer
Pages199-213
ISBN (Print)978-3-642-36741-0
DOIs
Publication statusPublished - 2013
Event19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2013) - Rome, Italy
Duration: 18 Mar 201321 Mar 2013
Conference number: 19

Publication series

NameLecture Notes in Computer Science
Volume7795
ISSN (Print)0302-9743

Conference

Conference19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2013)
Abbreviated titleTACAS 2013
CountryItaly
CityRome
Period18/03/1321/03/13
OtherConference held as part of the 16th European Joint Conferences on Theory and Practice of Software (ETAPS 2013)

Fingerprint Dive into the research topics of 'An overview of the mCRL2 toolset and its recent advances'. Together they form a unique fingerprint.

  • 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). Berlin: Springer. https://doi.org/10.1007/978-3-642-36742-7_15