Dutch Model Checking Day

"Advanced model checking algorithms"

May 9th, 2014, University of Twente

About the Dutch Model Checking Day

Note the change of venue Ravelijn room Ra4334 → 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".


Venue: University of Twente, Ravelijn building, room Ra 4334 Ra 2504
10:15 - 10:45     Welcome with coffee
10:45 - 11:00 Jaco van de Pol - Recent extensions to the high-performance model checker LTSmin (+ abstract)
11:00 - 11:15 Arend Rensink - Recipes for state space reduction (+ abstract)
11:15 - 11:30 Boudewijn Haverkort - Model checking for survivability of critical infrastructures
11:30 - 11:45Short coffee break
11:45 - 12:15 Keijo Heljanko - Advanced model checking methods and safety critical systems (+ abstract)
12:15 - 12:30 Frits Vaandrager - Recreational formal methods: Designing vacuum cleaning trajectories using model checkers, constraint solvers and proof assistants (+ abstract)
12:30 - 13:30Lunch break
13:30 - 14:00 Georg Weissenbacher - Software model checking with predicate abstraction, interpolation, and IC3 (+ abstract)
14:00 - 14:30 Tim Willemse - Abstraction in fixpoint logic (+ abstract)
14:30 - 15:00 Anton Wijs - GPUexplore: many-core on-the-fly state space exploration using GPUs (+ abstract)
15:00 - 15:30 Frank de Boer - It's pointless to point into k-bounded heaps (+ abstract)
Coffee / tea
16:30 - 18:00 Alfons Laarman - Scalable multi-core model checking (PhD defence)
Location: Waaier building (nr. 12 on map), Prof.Dr. G. Berkhoff-room


The Dutch Model Checking Day 2014 will take place at the University of Twente.

See the Route Description for how to arrive to the University of Twente.

Once on campus, use this map to find your way to the Ravelijn building (building number 10 on the map). The reception can point you to room Ra 4334 Ra 2504.

Once you have located Ravelijn, enter it and pass the reception on the right to arrive in the Atrium, where the welcome reception will be and where you can obtain a badge. You find room 2504 by walking through the atrium and going up the stairs at either end of the box which contains the rooms:

Atrium Ravelijn

Note that if you arrive by train, it is sometimes more convenient to take a bus (line 9) from Hengelo. A route planner like 9292ov.nl should give you the best option using destination address: Drienerlolaan 5, Enschede.


Formal Methods and Tools
Faculty of EEMCS
University of Twente

Organising Committee

Alfons Laarman (UT)
Jaco van de Pol (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

Phone: +31 (0) 53 489 3767
Fax: +31 (0) 53 489 3247
Email: dmcd2014@utwente.nl
URL: http://fmt.cs.utwente.nl/dmcd2014/

Supported by

NWO logo Nederlandse Organisatie voor Wetenschappelijk Onderzoek
The Netherlands Organisation for Scientific Research
NWO logo CTIT University of Twente
FMT logo Formal Methods and Tools
UT logo Faculty of EEMCS
University of Twente


UT logo