Changes between Version 1 and Version 2 of Events/ACPN2010

Timestamp:

Sep 14, 2010, 7:39:13 PM (14 years ago)

Author:

Eva Müller

Comment:

--

Events/ACPN2010

@@ -6 +6 @@
 [[Image(https://tgi15.informatik.uni-hamburg.de/_eva/acpn2010/wojtek.jpg)]]
 }}}
-{{{#!th rowspan=2 align=left border=0
+{{{#!td rowspan=2 align=left border=0
 - Introduction to state space-based verification
-- Formal modelling of protocols: Petri nets and automata
-- 
+- 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)'''
 
-{{{#!th rowspan=2 align=left border=0
+{{{#!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
 }}}
+|----------------