1 | | = '''Monday: Sep, 13th 2010''' = |
2 | | == Lectures by == |
3 | | '''Wojciech Penzeck (Warsaw, Poland)'''[[br]][[br]] |
4 | | |
5 | | {{{#!th rowspan=2 align=left border=0 |
6 | | [[Image(https://tgi15.informatik.uni-hamburg.de/_eva/acpn2010/wojtek.jpg)]] |
7 | | }}} |
8 | | {{{#!td rowspan=2 align=left border=0 |
9 | | - Introduction to state space-based verification |
10 | | - Formal modeling of protocols: Petri nets and automata |
11 | | - Model checking and verification of protocols: Bounded Parametric Model Checking for Petri nets |
12 | | - The VerICS Toolkit: A selection of smaller case studies |
13 | | }}} |
14 | | |---------------- |
15 | | |
16 | | and '''Lars M. Kristensen (Bergen, Norway)''' |
17 | | |
18 | | {{{#!td rowspan=2 align=left border=0 |
19 | | [[Image(https://tgi15.informatik.uni-hamburg.de/_eva/acpn2010/larsmkristensen.jpg)]] |
20 | | }}} |
21 | | {{{#!th rowspan=2 align=left border=0 |
22 | | - Formal modeling of protocols: Hierarchical Colored Petri Nets and CPN Tools |
23 | | - Model checking and verification of protocols: Explicit state space exploration of Colored Petri Nets |
24 | | - CPN Tools: Edge Router Discovery Protocol and the Generic Access Network Architecture |
25 | | }}} |
26 | | |---------------- |