Syllabus 2013/2014
 
Extrait PDF Anglais
Français
index
Module : RE319
Titre :
Méthodes formelles et applications
Volumes horaires :
Cours Intégré : 24.00 h
Travail Individuel : 12.00 h
Crédits ECTS :
2.50
Évaluation :
Enseignant(s) :
HERBRETEAU Frédéric
ROLLET Antoine - Responsable
VINCENT Aymeric
Partagé par l'UE (les UEs) :
Partagé par le(s) module(s) à choix :
Niveau :
module de troisième année
Résumé :
Dans ce module, nous étudions comment concevoir, modéliser et valider formellement des systèmes informatiques communicants. Nous illustrons ces techniques sur des protocoles de communication.
Plan :
  1. Historique et problème
  2. Méthodes et outils de validation
  3. Systèmes d'automates
  4. Logique temporelle
  5. Modelchecking
  6. Propriétés classiques
  7. Structure des protocoles
  8. Modélisation et contrôle de flot
  9. Promela - Spin
  10. Test formel à base de spécification
Mot(s) clé(s) :
Conception, vérification, test, protocoles de communication, modelchecking