Le moteur de recherche
des thèses françaises
Yves Bertot
IdRefMots clés
FR |
EN
Coq
Coq (logiciel)
Méthodes formelles (informatique)
Preuve formelle
Assistants de preuve
Logiciels -- Vérification
Théorie des types
Preuves formelles
Cryptographie
Systèmes embarqués (informatique)
Arithmétique à virgule flottante
Arithmétique en virgule flottante
Théorie de la démonstration
Formalisme (mathématiques)
Algèbre linéaire
Vérification formelle
Assistant de preuve Coq
Racine carrée
Assistant de preuve
Systèmes informatiques -- Mesures de sûreté