next up previous
Next: About this document ... Up: Contenu des cours spécifiques Previous: Première période

Deuxième période

  1. Model-Checking (Approche algorithmique pour la vérification)

  2. Preuve de programmes (Approche déductive pour la vérification)

  3. Analyse Statique de Programmes

  4. Méthodes de Test

  5. Vérification de la Sécurité

  6. Contrôle et ordonnancement


next up previous
Next: About this document ... Up: Contenu des cours spécifiques Previous: Première période
Ahmed Bouajjani 2005-05-22