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/Rocq.  Un domaine d'applications privilégié concerne la robotique formalisée.  Les contributions logicielles les plus notables portent sur le système de preuve Coq/Rocq, la bibliothèque de mathématiques formalisées Mathematical Components et l'outil de métaprogrammation Elpi.

Centre(s) inria

Centre Inria d'Université Côte d'Azur

Contacts

Responsable de l'équipe

Christine Foggia

Assistant(e) de l'équipe