Mihaela Sighireanu
IdRefMots clés
FR |
EN
Méthodes formelles (informatique)
Vérification de modèles (informatique)
Vérification formelle
Logique de séparation
Logiciels -- Vérification
Objective Caml (langage de programmation)
Analyse statique
Systèmes informatiques -- Mesures de sûreté
Analyse de programmes
Traitement réparti
Logique informatique
Vérification
Interprétation abstraite
Informatique
Smart contracts
Blockchains
Contrats intelligents
Automates
Algorithmes
Petri, Réseaux de