Pierre-Evariste Dagand
IdRefMots clés
FR |
EN
Assistants de preuve
Compilation
Cohérence (informatique)
Optimisation
Norme SIL 4
Langage de programmation
Méthodes formelles
Optimisation mathématique
Base de données répliquée
Cohérence
Synchronisation
Invariant
Analyse statique
Vérification
Logiciels -- Vérification
Cryptographie
Langage dédié
Bitslicing
Vectorisation
Masquage