David Cachera
Mots clés
FR |
EN
Logiciels -- Vérification
Coût-efficacité
Langages de programmation -- Sémantique
Algèbre linéaire
Semi-anneaux (mathématiques)
Interprétation abstraite
Méthodes formelles
Analyse statique
Systèmes informatiques -- Mesures de sûreté
Idéaux (algèbre)
Concurrence
Coq
Glaneur de cellule
Rely-Guarantee
Algorithmes
Compilation (informatique)
Débogage