Sites Inria

English version

Equipe de recherche PAREO

Ilôts formels: fondements et applications

  • Responsable : Pierre-etienne Moreau
  • Centre(s) de recherche : CRI Nancy - Grand Est
  • Domaine : Algorithmique, programmation, logiciels et architectures
  • Thème : Architecture, langages et compilation
  • Partenaire(s) : CNRS,Université de Lorraine
  • Collaborateur(s) : CNRS, INRIA

Présentation de l'équipe

L'équipe PAREO vise à concevoir et mettre en œuvre des outils pour la spécification, l'analyse et la vérification de logiciels et de systèmes. Au cœur de notre projet se trouve donc la volonté d'étudier les aspects fondamentaux des langages de programmation (logique, sémantique, algorithmique, etc) et de faire des contributions majeures dans les domaines liés à la conception de langages de programmation. Une partie importante de notre effort de recherche se consacre à la conception de nouveaux concepts fondamentaux ainsi que leur mise en oeuvre au travaux d'outils pour permettant d'analyser des programmes et des systèmes existants.

Axes de recherche

Pour atteindre nos objectifs, nous nous concentrons sur :
  • l'amélioration des fondements théoriques de la réécriture et de la logique;
  • l'intégration de méthodes formelles dans des environnements de programmation ou de vérification;
  • la mise en pratique des formalismes proposés.

Logiciels

Relations industrielles et internationales

  • Participation à plusieurs projets ANR (Complice, Infer, Ravaj, Ssurf).
  • Membre du projet FRAE Quarteft, portant sur la transformation certifiée de modèles.

Mots-clés : Réécriture Compilation Environnement de programmation Analyse de programmes

Suivez Inria