Constantin Enea
IdRefMots clés
FR |
EN
Vérification de modèles (informatique)
Traitement réparti
Méthodes formelles (informatique)
Smart contracts
Analyse de programmes
Synthèse de programmes
Blockchains
Contrats intelligents
Vérification formelle
Structures de données concurrentes
Linéarisabilité
Model Checking
Réduction d'ordre partielle
Protocoles de consensus
Raffinement
Systèmes concurrents
Vérification
Technique d'abstraction
Logiques multi-valuées
Types de données