Charlotte Truchet
IdRefMots clés
FR |
EN
Programmation par contraintes
Logiciels -- Vérification
Interprétation abstraite
Vérification de modèles (informatique)
Vérification de modèles
Vérification de modèles modulo theories
Vérification déductive
Satisfiabilité modulo théories
Systèmes distribués
Apprentissage non supervisé
Méthodes formelles (informatique)
Résolution de problème -- Informatique
Apprentissage
Acquisition de contraintes
Inférence de contrats
Compréhension de code
Synthèse de code
Rétro-ingénierie (informatique)
Contraintes (intelligence artificielle)
Systèmes informatiques -- Mesures de sûreté