Workshops Program
09:15-09:30
Opening (D. Buchs and H. Klaudel)
09:30-10:30
Keynote: Building LTL Model Checkers using Transition-based Generalized Büchi Automata, A. Duret-Lutz, EPITA-LRDE
10:30-11:00
Break + discussion around posters
11:00-12:30
Session 1 (Componet): chaired by R. Devillers
- Distributed Verification of Modular Systems, M. C. Boukala and L. Petrucci
- Compositional Analysis of Discrete Time Petri nets, Y. Thierry-Mieg, B. Berard, F. Kordon, D. Lime and O. H. Roux
- On the modularity in Petri Nets of Active Resources, V. Bashkin
12:30-14:00
Lunch
14:00-15:30
Analysis of the Model Checking Contest results + discussion
You may also find the final set of formula used for reachability analysis as well as
the raw analyzed data provided by the execution environment.
15:30-16:00
Break + discussion around posters
16:00-17:30
Session 2 (SUMo): chaired by V. Khomenko
- Optimising the compilation of Petri net models, L. Fronc and F. Pommereau
- Generalized Büchi Automata versus Testing Automata for Model Checking, A.E. Ben Salem, A. Duret-Lutz and F. Kordon
- When Graffiti Brings Order, A. Linard and D. Buchs