Yves Bertot
IdRefMots clés
FR |
EN
Coq
Coq (logiciel)
Méthodes formelles (informatique)
Assistants de preuve
Preuves formelles
Preuve formelle
Théorie des types
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
Algorithmes
Racine carrée
Assistant de preuve
Systèmes informatiques -- Mesures de sûreté