Précédent : Présentation du projet Remonter : PROJET MEIJE Suivant : Sémantique des langages concurrents d'ordre

Actions de recherche

• Sémantique des langages concurrents d'ordre supérieur
  • Sémantique de la mobilité
  • Mobilité et vérification
• Esterel et la programmation réactive synchrone
  • Etude de la causalité
  • Le compilateur Esterel v5
  • Formats communs de représentation
• Scripts et objets réactifs
  • Scripts Réactifs
  • La programmation par ICOBJS
  • Production d'automates à partir de la POR/RLib
• Vérification et analyse de systèmes communicants
  • Vérification par représentation implicite et BDD
  • Vérification par représentation explicite d'espaces d'états
  • Application de techniques déductives aux preuves de bisimulation