1 Two Decades of Probabilistic Verification – Reflections and Perspectives Lorentz Center Workshop Leiden, the Netherlands, November 2007

2 The Organizers: NWO/DFG Cooperation Program on “Validation of Stochastic Systems” (VOSS2)

3 Tools Applications Theory

4 Workshop Program Monday: Tools Tuesday: Applications Wednesday: Theory + PhD/Postdoc sessions Thursday: Theory + Excursion Friday: Winding Up Much room for discussion and collaboration!!

5 Case Study: Gossip Networks Essential use of randomization Great potential for applications, e.g. in wireless sensor networks Many open issues!

6 PhD/Postdoc Session PhDs/postdocs are asked to prepare 5 slides (max) to present (a selected topic from) his/her research: Research question/hypothesis Relevance Line of attack Presentation of 15 min (max) for small group followed by in depth discussion.

7 Thursday: Excursion to Mauritshuis

8 Mauritshuis and Probabilities?

9 Some Questions 1.Should we combine tool efforts? 2.How can probabilistic model checking really make an impact? 3.Role of abstractions 4.How to handle dynamic topologies?