Projects




Version 2 (modified by Eva Müller, 14 years ago) (diff)

--

Monday: Sep, 13th 2010

Lectures by

Wojciech Penzeck (Warsaw, Poland)

https://tgi15.informatik.uni-hamburg.de/_eva/acpn2010/wojtek.jpg

  • 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)

https://tgi15.informatik.uni-hamburg.de/_eva/acpn2010/larsmkristensen.jpg

  • 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