- Présentation
- Publications HAL
Equipe de recherche STAMP
• Sûreté du logiciel et Preuves Mathématiques Formalisées
- Responsable : Yves Bertot
- Type : Équipe-projet
- Centre(s) de recherche : Sophia
- Domaine : Algorithmique, programmation, logiciels et architectures
- Thème : Preuves et vérification
Présentation de l'équipe
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.
Axes de recherche
Théorie des types; Théorie de la preuve; Vérification formelle; Cryptographie; Robotique; Génération et transformation automatique de preuves formelles; Génération et transformation automatique de programmes sûrs
Equipes de recherche du même thème :
- ANTIQUE - Analyse Statique par Interprétation Abstraite
- CAMBIUM - Langages de programmation : systèmes de types, concurrence, preuve de programme
- CELTIQUE - Certification de logiciel par analyse sémantique
- CONVECS - Construction de systèmes concurrents vérifiés
- DEDUCTEAM - DEDUCTEAM
- GALLINETTE - Gallinette : vers une nouvelle génération d'assistant à la preuve
- MEXICO - Modeling and Exploitation of Interaction and Concurrency
- PARSIFAL - Recherche de preuve et raisonnement sur des spécifications logiques
- PARTOUT - Automatisation et ReprésenTation: fOndation du calcUl et de la déducTion
- PI.R2 - Conception, étude et implémentation de langages pour les preuves et les programmes
- SUMO - SUpervision of large MOdular and distributed systems
- TOCCATA - Certified Programs, Certified Tools, Certified Floating-Point Computations
- VERIDIS - Modeling and Verification of Distributed Algorithms and Systems
Contact
Responsable de l'équipe
Yves Bertot
(Voir toutes les équipes)
Tél: +33 4 92 38 77 39
Secrétariat
Tél: +33 4 92 38 76 00
En savoir plus
Généalogie
Cette équipe fait suite à
Voir aussi
