Département 2 : Méthodes formelles

Responsable de l’équipe : Dominique Méry
Tél. : +33 3 83 59 20 19
Mail : dominique.mery@loria.fr

Sites de l’équipe :

Mosel

Veridis

Présentation

La maîtrise de la qualité du logiciel est un enjeu critique ; les méthodes de spécification ou de programmation doivent assurer cette qualité, en se fondant sur des théories mathématiques ou logiques. Nos objectifs concernent l’étude de méthodes et de formalismes pour la spécification, le raffinement et le développement de programmes ou de systèmes et l’application de ces techniques à des domaines comme le parallélisme, les systèmes distribués, les télécommunications, les systèmes sécuritaires.

Axes thématiques

• Conception de méthodologie pour les systèmes distribués
• Outils pour vérification et validation de systèmes

Logiciels

• VeriT solver
• TLA+
• Event B
• Participation à B2Visidia avec le LABRI de Bordeaux

Collaborations

• NUI Maynooth (Rosemary Monahan et Adam Winstantley)
• Université Fédérale de Rio Grande de Norte (Brésil)
• Projet commun avec l’équipe VERIDIS en collaboration avec MPI-INF de Saarbrück
• Jean-Raymont Abrial et Leslie Lamport pour Event B et TLA+

Mots-clés

Modélisation, perfectionnement, abstraction,assistant de preuve, déduction automatique, plate-forme de vérification