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
Sophia Antipolis - Méditerranée

Membres

Responsable de l'équipe

Nathalie Bellesso

Assistant(e) de l'équipe