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 also marks the end of several BRICKS funded projects.
|Venue: UTwente, Hogekamp, T-4|
|10:00|| Welcome with coffee
A Simple Abstraction Goes a Long Way — for Hardware Verification
Orna Grumberg (Technion, Israel)
System Verification using Parameterised Boolean Equation Systems
Tim Willemse (TU Eindhoven)
Architectural Dependability Analysis with ARCADE
Mariëlle Stoelinga (U Twente)
|12:45||Lunch (Faculty Club, Bd. 42)|
LTSmin: A Language-Independent Tool for Symbolic and Distributed Model Checking
Jaco van de Pol (U Twente)
Efficient Large-Scale Model Checking
Henri Bal (VU Amsterdam)
From Paradigm to mCRL2: Model Checking Component Collaboration
Erik de Vink (TU Eindhoven)
Verifying Hybrid Systems in the Proof Assistant Coq
Herman Geuvers (RU Nijmegen/TU Eindhoven)
Model Checking Timed Component Connectors
Stephanie Kemper (CWI Amsterdam)
|17:00||Reception (Faculty Club, Bd. 42)|
Dutch Model Checking Day
Faculty of MCS
Faculty of EEMCS
University of Twente