Noam Rinetzky
IdRefMots clés
FR |
EN
Méthodes formelles (informatique)
Analyse statique
Structures de données dynamique
Logique de séparation
Disjonctions
Informatique
Vérification formelle
Structures de données concurrentes
Linéarisabilité
Model Checking
Réduction d'ordre partielle
Protocoles de consensus
Raffinement
Vérification de modèles (informatique)
Concurrence
Test automatisé
Cohérence faible
Types de données répliqués
Transactions
Complexité