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


Venue Information:

The workshop will take place in the building Waaier (Building No. 12) in room 'Collegezaal 4'


PROGRAM OF WORKSHOP:


Thursday, 30.11.2006

10:00 B. Haverkort  ( University of Twente ) Opening Address
10:15
E. Brinksma  ( University of Twente )
A Short History of Modelling and Model Checking at Twente
10:45
J van de Pol  and M. Weber ( CWI Amsterdam )
Distributed Verification: Reduction and Model Checking
11:15
F. Vaandrager ( Radboud University Nijmegen )
Model Checkers in Education: 10^6 Users and Beyond
11:45
H. Hermanns ( Saarland University )
A Modest Approach to Practical Formal Methods
12:15

Lunch
13:45
G.  J. Holzmann ( NASA/JPL )
An Extension of Spin for Multi-core Model Checking
14:30
J. Rehof ( University of Dortmund )
Model Checking the Conformance of Communcating Programs
15:00
W. Damm ( University of Oldenburg )
Recent AVACS Results on the Verification of Hybrid Systems
15:30

Coffee Break
15:45
W. Thomas ( RWTH Aachen University )
Model-Checking over Product Structures
16:15
M. Ben-Ari ( Weizmann Institute of Science )
Tools for Teaching with Spin
16:45
K. G. Larsen ( Aalborg University )
10 Years of UPPAAL: From Theory to Industrial Impact
17:15
T. C. RuysUniversity of Twente )
Verification (of Water) Management
19:00

Dinner  ( Faculty Club )


Friday, 01.12.2006

08:30  
J. Romijn  (Eindhoven University of Technology) The HAVi Protocol: Model Checking in Spin vs. CADP
09:00
Ch. Baier ( Technical University Dresden )
Model Checking of Randomized Protocols
09:30 S. Etalle ( University of Twente )
Constraint-based Verification of Security Protocols
10:00

Coffee Break
10:30
J.-P. Katoen ( RWTH Aachen University ) Advancing Probabilistic Model Checking
11:00
A. Mader ( University of Twente )
Systematic Derivation of Verification Models
11:30
J. Raskin ( Université Libre de Bruxelles ) New Algorithms to Support Automata-based  Verification
12:00
B. Haverkort  ( University of Twente ) Closing Address
12:30

Lunch

In the afternoon, Gerard J. Holzmann will receive a honorary doctorate.
This ceremony is part of the dies natalis (in Dutch) of the University of Twente.