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)
Vérification formelle
Logiciels -- Vérification
Objective Caml (langage de programmation)
Interprétation abstraite
Analyse statique
Logique de séparation
Systèmes informatiques -- Mesures de sûreté
Traitement réparti
Logique informatique
Vérification
Analyse de programmes
Informatique
Systèmes distribués
Systèmes de types
Automates
Algorithmes
Petri, Réseaux de
Raffinement modulaire