Vera Presentation

---

LRI, Vendredi 11 Mars , Salle 79, 14h-17h

---

• 14h-14h30,Approximations pour la vérification, Michel de Rougemont slides (.pdf)
• 14h30-15h, Test de programmes, Marie-Claude Gaudel slides (.pdf)
• 15h-15h30, Test de propriétés, Frédéric Magniez slides (.pdf)
  
  Pause
  
  
• 16h-16h30, Vérification de systèmes probabilistes, Richard Lassaigne slides (.pdf)
• 16h30-17h, APMC : Approximate Probabilistic Model-Checking, Thomas Herault et Sylvain Peyronnet

---