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
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
- International Workshop on Advances in Model Checking 2006, Enschede, The Netherlands-