Diary

Monday: Sep, 13th 2010

Lectures by

Wojciech Penzeck (Warsaw, Poland)

	Introduction to state space-based verification Formal modeling of protocols: Petri nets and automata Model checking and verification of protocols: Bounded Parametric Model Checking for Petri nets The VerICS Toolkit: A selection of smaller case studies

and Lars M. Kristensen (Bergen, Norway)

	Formal modeling of protocols: Hierarchical Colored Petri Nets and CPN Tools Model checking and verification of protocols: Explicit state space exploration of Colored Petri Nets CPN Tools: Edge Router Discovery Protocol and the Generic Access Network Architecture

Tuesday: Sep, 14th 2010

Lectures by

Karsten Wolf (Rostock, Germany)

	Introduction to state space-based verification Formal modeling of protocols: Petri nets and automata Model checking and verification of protocols: Bounded Parametric Model Checking for Petri nets The VerICS Toolkit: A selection of smaller case studies

and Kees van Hee (Eindhoven, Netherlands)

	Formal modeling of protocols: Hierarchical Colored Petri Nets and CPN Tools Model checking and verification of protocols: Explicit state space exploration of Colored Petri Nets CPN Tools: Edge Router Discovery Protocol and the Generic Access Network Architecture