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