May 09, 2014Symposium: Dutch Model Checking Day 2014
Room: Ra2504

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 twenty-five years, 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 certain industries to invest in the development and application of model checkers (e.g., Intel).

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 DMCD coincides with the PhD defence of Alfons Laarman. At 16:45, Alfons Laarman will defend his thesis titled "Scalable Multi-Core Model Checking".

Further information:

Nate that the venue has been changed from Ra4334 to Ra2504!