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

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