Le moteur de recherche
des thèses françaises
François Pessaux
IdRefMots clés
FR |
EN
Analyse de dépendances
Logiciels critiques
Langages fonctionnels
Coq
Preuve de correction
Analyse statique
Interprétation abstraite
Systèmes informatiques -- Mesures de sûreté -- Examens
Langages de programmation
Assistants de preuve
Coq (logiciel)
Objets
Interopérabilité
Logique
Réécriture
Systèmes de preuve
Méthodes formelles (informatique)
Langages de programmation orientés objet
Propriétés mémoire
Vérification dynamique