Equipe de recherche PAREO

Ilôts formels: fondements et applications

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

Equipes de recherche du même thème :

Siège et centres de recherche Inria

Accès direct

Social