Two%20Decades%20of%20Probabilistic%20Verification%20

1
Two Decades of Probabilistic Verification
Reflections and PerspectivesLorentz Center
WorkshopLeiden, the Netherlands, 12-16
November 2007
2
The Organizers NWO/DFG Cooperation Program on
Validation of Stochastic Systems (VOSS2)

3
(No Transcript)
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?