The Verification of Flood Barrier Control Algorithms in Rotterdam

-

10 Years After


AN INTERNATIONAL WORKSHOP ON ADVANCES IN MODEL CHECKING

IN HONOUR OF

GERARD J. HOLZMANN

  NOVEMBER 30, 2006 / DECEMBER 01, 2006

UNIVERSITY OF TWENTE, ENSCHEDE, THE NETHERLANDS




                                                                
On November 30--December 1, 2006, the University of Twente is proud to host an international workshop on advances in model checking with 15 distinguished international speakers.

The reason to host this workshop is twofold. First, we celebrate that it
is ten years ago that the control software of the storm surge barrier in the Nieuwe Waterweg was formally verified using the tool SPIN. Secondly, and most importantly, we host the workshop because Gerard Holzmann will receive a honorary doctorate from the University of Twente at December 1 in the afternoon.









For further information contact:

Liesbeth Been
Matthias Kuntz