Habilitation à Diriger des Recherches

Parallélisation de programmes Eiffel

  • programme Eiffel => programme Eiffel//
  • transformations formelles
  • preuves (sémantique préservée)
  • propriétés du graphe d'objets

  • méthode de démonstration par inductions (Coq)
  • méthode de vérification d'ordre partiel