null Dutch Model Checking Day 2018: Reductions in model checking

Dutch Model Checking Day 2018: Reductions in model checking
Model checking is a tool-supported technique to analyse the correctness of ICT systems that enjoys increasing popularity in both scientific and industrial circles. In the past decades, research in this area has led to dramatic improvements in the performance of model checking tools. This has enabled its application to real-life problems and has induced various industries to invest in the development and application of model checkers. On thursday June 21 2018 the Dutch Model Checking Day will be held in studycentre Utrecht of the Open University.

About the Dutch Model Checking Day 2018

The Dutch Model Checking Day (DMCD 2018) is a forum for practitioners and researchers interested in model-checking based techniques for the validation and analysis of communication protocols and software systems. Topics covered in the DMCD include theoretical and algorithmic foundations and tools for distributed verification, large and infinite state spaces, coordination problems, timed systems and hybrid systems. The workshop aims to foster interactions and exchanges of ideas with all related areas in software engineering. The Dutch Model Checking Day aims at providing a forum for discussions, to exchange ideas and inform each other on the state of the art in this research area.


10:00 - 10:30 Welcome (with coffee/tea)
10:30 - 12:00 Block 1
10:30 - 11:30 César Rodríguez (Diffblue & University Paris 13)
Prime-Event-Structure based partial order reduction
11:30 - 12:00 Mariëlle Stoelinga (UTwente & Radboud University)
Fault Trees on a Diet - Automated Reduction by Graph Rewriting
12:00 - 12:45 Lunch break
12:45 - 14:30 Block 2
12:45 - 13:30 Paul Hoogendijk (Verum)
Refinement in Dezyne: Formal Methods for the mass
13:30 - 14:00 Jan Friso Groote (TU Eindhoven)
An O (m log n) algorithm for stuttering equivalence & branching bisimulation)
14:00 - 14:30 Joshua Moerman (Radboud University)
Minimal separating sequences in O (m log n)
14:30 - 15:00 Coffee/tea
15:00 - 16:45 Block 3
15:00 - 15:30 Thomas Neele (TU Eindhoven)
Solving infinite parity games through bisimulation quotienting
15:30 - 16:00 Jaco van de Pol (UTwente)
Multi-core symbolic bisimulation minimisation
16:00 - 16:45 Rob van Glabbeek (Data61, DSIRO & University of New South Wales, Sydney)
Branching bisimulation reduction of imperative process algebras
16:45 - 17:45 Reception/Drinks

More information and registration

The Dutch Model Checking Day will be held at studycentre Utrecht, Vondellaan 202 (1st floor). Registration is free, including lunch. You can now register for the Dutch Model Checking Day 2018 by completing the registration form. Please include your name, email, institution and whether you want to have lunch with us (and if you have dietary requirements), as well as any questions or comments that you may have. The registration deadline has passed.


Department of Computer Science
Faculty of Management, Science & Technology
Open University

Organising Committee

Alfons Laarman (Leiden University)
Jeroen Keiren (Open University)

Supported by



and the Open University.