July 13, 2016Dutch Model Checking Day 2016 on Parallel and Symbolic Methods for Model Checking
Room: Ra 1501

See for the full program.

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.

The Dutch Model Checking Day (DMCD) 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.

This year's Dutch Model Checking Day has a focus on symbolic approaches to model checking, as well as parallel computation of model checking algorithms. The DMCD coincides with the PhD defense of Tom van Dijk. At 16:45, Tom van Dijk defends his thesis titled "Sylvan: Multi-core Decision Diagrams".