Abstract
Reasoning about the correctness of parallel and distributed systems requires automated tools. By now, the mCRL2 toolset and language have been developed over a course of more than fifteen years. In this paper, we report on the progress and advancements over the past six years. Firstly, the mCRL2 language has been extended to support the modelling of probabilistic behaviour. Furthermore, the usability has been improved with the addition of refinement checking, counterexample generation and a user-friendly GUI. Finally, several performance improvements have been made in the treatment of behavioural equivalences. Besides the changes to the toolset itself, we cover recent applications of mCRL2 in software product line engineering and the use of domain specific languages (DSLs).
Cite
CITATION STYLE
Bunte, O., Groote, J. F., Keiren, J. J. A., Laveaux, M., Neele, T., de Vink, E. P., … Willemse, T. A. C. (2019). The mCRL2 Toolset for Analysing Concurrent Systems: Improvements in Expressivity and Usability. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 11428 LNCS, pp. 21–39). Springer Verlag. https://doi.org/10.1007/978-3-030-17465-1_2
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
