Accueil

 

L’équipe MOdélisation et VErification (MOVE) située à Luminy est une équipe du Laboratoire d’Informatique Fondamentale de Marseille (UMR CNRS 7279). Le concept de système distribué est fondamental tant pour les applications pratiques que pour les fondements théoriques de l’informatique. La conception d’applications correctes et sûres dans ce cadre est particulièrement difficile. La recherche de l’équipe MoVe est motivée par ce problème et l’objectif de l’équipe est de faire progresser les concepts fondamentaux dans ce domaine, mais également de développer des outils logiciels permettant de tester nos approches. Les thématiques de recherche de l’équipe sont organisées suivant deux axes : Vérification et Logique.

Vérification

Comment donner un modèle formel pour des systèmes informatiques (programmes, systèmes distribués,..) et élaborer des algorithmes permettant de vérifier des propriétés de ces systèmes.

  • Extension de formalismes pour la modélisation et l’analyse de perturbations
  • Synthèse de systèmes à partir de spécifications MSCs
  • Algorithmique et réalisations logicielles
  • Etude de modèles structurés

Logique, automates et combinatoire

Etudier les problèmes logiques issus de la vérification, en se focalisant sur les problèmes d’expressivité et de sémantique

  • Complexité descriptive
  • Automates et points fixes  

Dernières publications