An overview of the mCRL2 toolset and its recent advances

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

110 Citaten (Scopus)
1 Downloads (Pure)

Samenvatting

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.
Originele taal-2Engels
TitelTools 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)
RedacteurenN. Piterman, S.A. Smolka
Plaats van productieBerlin
UitgeverijSpringer
Pagina's199-213
ISBN van geprinte versie978-3-642-36741-0
DOI's
StatusGepubliceerd - 2013
Evenement19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2013) - Rome, Italië
Duur: 18 mrt. 201321 mrt. 2013
Congresnummer: 19

Publicatie series

NaamLecture Notes in Computer Science
Volume7795
ISSN van geprinte versie0302-9743

Congres

Congres19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2013)
Verkorte titelTACAS 2013
Land/RegioItalië
StadRome
Periode18/03/1321/03/13
Ander19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems

Vingerafdruk

Duik in de onderzoeksthema's van 'An overview of the mCRL2 toolset and its recent advances'. Samen vormen ze een unieke vingerafdruk.

Citeer dit