Dutch Model Checking Day

April 2, 2009, University of Twente

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
10:25 Opening
10:30 Invited Lecture
A Simple Abstraction Goes a Long Way — for Hardware Verification
Orna Grumberg (Technion, Israel)
11:30 Coffee break
11:45 System Verification using Parameterised Boolean Equation Systems (COMFORTS)
Tim Willemse (TU Eindhoven)
12:15 Architectural Dependability Analysis with ARCADE (MOQS)
Mariëlle Stoelinga (U Twente)
12:45 Lunch (Faculty Club, Bd. 42)
13:45 LTSmin: A Language-Independent Tool for Symbolic and Distributed Model Checking (VeriGEM)
Jaco van de Pol (U Twente)
14:15 Efficient Large-Scale Model Checking
Henri Bal (VU Amsterdam)
14:45 Coffee break
15:15 From Paradigm to mCRL2: Model Checking Component Collaboration
Erik de Vink (TU Eindhoven)
15:45 Verifying Hybrid Systems in the Proof Assistant Coq (AFM4)
Herman Geuvers (RU Nijmegen/TU Eindhoven)
16:15 Coffee break
16:25 Model Checking Timed Component Connectors (AFM3)
Stephanie Kemper (CWI Amsterdam)
16:55 Closing
17:00 Reception (Faculty Club, Bd. 42)


Formal Methods and Tools
Faculty of EEMCS
University of Twente

Organising Committee

Michael Weber (UT)
Tim Willemse (TU/e)
Axel Belinfante (UT)
Joke Lammerink (UT)

Contact Address

Dutch Model Checking Day
Formal Methods and Tools
Faculty of EEMCS
University of Twente
P.O. Box 217
7500 AE Enschede

Fax: +31 (0) 53 489 3247

Email: dmcd2009@cs.utwente.nl

URL: http://fmt.cs.utwente.nl/dmcd2009/

Supported by

TU/e logo Faculty of MCS
TU Eindhoven
UT logo Faculty of EEMCS
University of Twente