Détail d'une fiche   Version PDF

PAREO (SR0395GR)

Ilôts formels: fondements et applications

PAREO (SR0418ER) →  PAREO


Statut: Terminée

Responsable : Pierre-etienne Moreau

Mots-clés de "A - Thèmes de recherche en Sciences du numérique - 2023" : Aucun mot-clé.

Mots-clés de "B - Autres sciences et domaines d'application - 2023" : Aucun mot-clé.

Domaine : Algorithmique, programmation, logiciels et architectures
Thème : Architecture, langages et compilation

Période : 01/01/2011 -> 31/12/2014
Dates d'évaluation : 22/03/2011

Etablissement(s) de rattachement : CNRS, U. DE LORRAINE
Laboratoire(s) partenaire(s) : LORIA (UMR7503)

CRI : Centre Inria de l'Université de Lorraine
Localisation : Centre Inria de l'Université de Lorraine
Code structure Inria : 051082-1

Numéro RNSR : 200820941G
N° de structure Inria: SR0395GR

Présentation

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.