Équipe : MoVe - Modélisation et Vérification

Axes : SSR (👥👥), ASN (👥), TMC (👥).

Aucune manisfestation prévue actuellement.

Archives


Brève présentation

Dessin Bulles HAL Annuaire 18 logiciels

L'équipe MoVe centre ses recherches sur la modélisation et l'analyse de systèmes répartis complexes et dynamiques. En particulier, nous nous focalisons sur les aspects suivants :

  • Techniques optimisées de vérification formelle par model checking,
  • Méthodologies de développement basées sur l'ingénierie dirigée par les modèles,
  • Intégration de l'analyse formelle dans les processus de développement,
  • Conception et implantation de nouveaux langages et modèles de programmation pour accroître la vérifiabilité de programmes répartis.

Annuaire

Ingénierie des modèles, Modélisation, Réseaux de Petri, Model Checking, Génération de programme, Meta-modélisation

Sélection de publications

Toutes