Equipe-projet

STAMP

• Sûreté du logiciel et Preuves Mathématiques Formalisées
• Sûreté du logiciel et Preuves Mathématiques Formalisées

L'équipe-project STAMP s'intéresse à la vérification formelle d'algorithmes et de résultats mathématiques à l'aide d'outils de preuve interactive comme Coq ou Easycrypt.  Les domaines d'applications privilégiés concernent la cryptographie et la robotique formalisée.  Les contributions logicielles les plus notables portent sur le système de preuve Coq, le système de preuve EasyCrypt, et la bibliothèque de mathématiques formalisées Mathematical Components.

Centre(s) inria
Centre Inria d'Université Côte d'Azur

Contacts

Responsable de l'équipe

Christine Foggia

Assistant(e) de l'équipe