24-26 September 2014

University of Twente, Enschede

14th International Workshop on Automated Verification of Critical Systems

Wednesday 24 September

9:00-9:30
Registration, Welcome
9:30-10:30
Applications (I), Chair: Jaco van de Pol
Research Idea: Phillip James, Faron Moller, Hoang Nga Nguyen, Markus Roggenbach, Steve Schneider and Helen Treharne
Towards the Verification of Bidirectional Railway Models in CSP||B
10:30-11:00
Coffee Break
11:00-12:30
Software (I), Chair: Marieke Huisman
12:30-14:00
Lunch
14:00-15:00
Invited Talk 1, Chair: Marieke Huisman
15:00-15:30
Coffee Break
15:30-17:00
Methods (I), Chair: Markus Roggenbach
Research Idea: Edmundo López Bóbeda, Maximilien Colange and Didier Buchs
A General Approach for Symbolic Model-Checker Prototyping
17:15
Welcome Reception (Faculty Club)

Thursday 25 September

9:00-10:00
Invited Talk 2, Chair: Jan-Friso Groote
10:00-10:30
Applications (II), Chair: Jan-Friso Groote
10:30-11:00
Coffee Break
11:00-12:30
Stochastic (I), Chair: Stephan Merz
12:30-14:00
Lunch
14:00-15:30
Applications (III), Chair: Laura Kovács
Research Idea: Kamil Kubon
Verification of Fix Protocol Session Layer
15:30-16:00
Stochastic (II), Chair: Laura Kovács
16:00-16:10
Gudmund Grov
Welcome to AVoCS 2015
16:10
Coffee
16:10-18:00
PC and Steering Committee Meeting
17:00-18:30
Guided Tour around Roombeek
18:30
Workshop Dinner in Het Vrijdag

Friday 26 September

9:00-10:00
Invited Talk 3, Chair: Wojciech Mostowski
10:00-10:30
Software (II), Chair: Wojciech Mostowski
Petr Ročkai, Jiří Barnat and Luboš Brim
Model Checking C++ with Exceptions
10:30-11:00
Coffee Break
11:00-12:30
Methods (II), Chair: Alastair Donaldson
Renaud De Landtsheer, Christophe Ponsard, Nicolas Devos, Bénédicte Moriau and Guy Anckaerts
A Constraint-Solving Approach for Achieving Minimal-Reset Transition Coverage of Smartcard Behaviour
Research Idea: Mahsa Varshosaz and Harsh Beohar
Delta-Oriented Testing for Finite State Machines
12:30-14:00
Closing and Lunch