Le moteur de recherche
des thèses françaises
Mihaela Sighireanu
IdRefMots clés
FR |
EN
Méthodes formelles (informatique)
Vérification de modèles (informatique)
Logiciels -- Vérification
Vérification formelle
Interprétation abstraite
Objective Caml (langage de programmation)
Analyse statique
Systèmes informatiques -- Mesures de sûreté
Logique de séparation
Logique informatique
Vérification
Analyse de programmes
Traitement réparti
Langages de programmation -- Sémantique
Logiciels
Sémantique
Bogues (informatique)
Informatique
Analyse mémoire
Exécution symbolique