Le moteur de recherche
des thèses françaises
Antoine Miné
IdRefMots clés
FR |
EN
Interprétation abstraite
Logiciels -- Vérification
Analyse statique
Méthodes formelles
Informatique
Méthodes formelles (informatique)
Vérification de modèles (informatique)
Vérification
Langages de programmation
Compilation (informatique)
Systèmes embarqués (informatique)
Réseaux de neurones
Systèmes informatiques -- Mesures de sûreté
Vérification de logiciels
Vérification de programme
Polyèdres
Programmation par contraintes
Sécurité
Analyse statique modulaire
Langages de programmation -- Sémantique