Changes between Version 2 and Version 3 of Events/ACPN2010

Timestamp:

Sep 14, 2010, 7:51:41 PM (15 years ago)

Author:

2betz

Comment:

--

Events/ACPN2010

@@ -1 @@
-= '''Monday: Sep, 13th 2010''' =
-== Lectures by ==
-'''Wojciech Penzeck (Warsaw, Poland)'''[[br]][[br]]
-
-{{{#!th rowspan=2 align=left border=0
-[[Image(https://tgi15.informatik.uni-hamburg.de/_eva/acpn2010/wojtek.jpg)]]
-}}}
-{{{#!td rowspan=2 align=left border=0
-- 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)'''
-
-{{{#!td rowspan=2 align=left border=0
-[[Image(https://tgi15.informatik.uni-hamburg.de/_eva/acpn2010/larsmkristensen.jpg)]]
-}}}
-{{{#!th rowspan=2 align=left border=0
-- 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
-}}}
-|----------------