PAREO

Ilots formels : fondations et applications

Département 2 : Méthodes formelles

Responsable de l’équipe : Horatiu Cirstea
Tél. : +33 3 54 95 84 06
Mail : horatiu.cirstea@loria.fr

Site de l’équipe

L’équipe a été arrêté au 1er janvier 2017. Les membres de l’équipe ont rejoint l’équipe Mosel-Veridis.

Présentation

L’objectif de l’équipe PAREO est la conception et la réalisation d’outils pour la spécification et la vérification de logiciels. Nous travaillons à un environnement permettant de prototyper de tels outils, à des démonstrateurs spécialisés sur les preuves par récurrence ou dans certaines théories équationnelles, et à des techniques de preuves spécifiques privilégiant l’utilisation des contraintes et des règles de réécriture.

Axes thématiques

  • Amélioration des fondations théoriques
  • Intégration des méthodes formelles dans les langages de programmation
  • Analyse des politiques de sécurité

Logiciel

  • Tom

Collaborations

  • Le LAAS  et l’IRIT de Toulouse dans le cadre du projet QUARTEFT qui implique Airbus et Ellidis
  • Mathieu Jaume de LIP6 dans le cadre du projet SSURF
  • Paul Klint de l’Université d’Amsterdam
  • Mark van den Brand de l’Université d’Eindhoven

Mots-clés

Langage de programmation, méthodes formelles, compilation, sécurité, analyse statique, preuve de programmes

En ce moment

Logo du CNRS
Logo Inria
Logo Université de Lorraine