ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Wed 10 Apr 2019 11:30 - 12:00 at SUN I - Concurrent and Distributed Systems Chair(s): Marieke Huisman

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).

Wed 10 Apr

tacas-2019-papers
10:30 - 12:30: TACAS 2019 - Concurrent and Distributed Systems at SUN I
Chair(s): Marieke HuismanUniversity of Twente
tacas-2019-papers10:30 - 11:00
Talk
Tom van DijkUniversity of Twente, Jeroen Meijer, Jaco van de PolAarhus University
Link to publication
tacas-2019-papers11:00 - 11:30
Talk
Si Liu, Peter Ölveczky, Min ZhangEast China Normal University, Qi Wang, José Meseguer
Link to publication
tacas-2019-papers11:30 - 12:00
Talk
Link to publication
tacas-2019-papers12:00 - 12:30
Talk
Marius BozgaVerimag/CNRS, Radu IosifVERIMAG, CNRS, Université Grenoble-Alpes, Joseph SifakisVerimag/CNRS
Link to publication