Paper Info
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.
Year
DOI
Venue
2013
10.1007/978-3-642-36742-7_15
TACAS
Keywords
Field
DocType
considerable progress,extended support,recent advance,mcrl language,software tool,model checking,mcrl2 toolset,recent year,infinite set,case study,software architecture,data structure
Data structure,Predicate variable,Parity game,Model checking,Software engineering,Computer science,Simulation,Theoretical computer science,Infinite set,Software,Software architecture,State space generation
Conference
Volume
ISSN
Citations 
7795
0302-9743
58
PageRank 
References 
Authors
1.51
38
7
Name
Order
Citations
PageRank
Sjoerd Cranen11106.61
Jan Friso Groote21626154.19
J. J. A. Keiren3978.13
F. P. M. Stappers4713.43
Erik P. de Vink537428.76
Wieger Wesselink614912.96
Tim A. C. Willemse734532.79