Yliès Carlo Falcone
IdRefMots clés
FR |
EN
Vérification à l’exécution
Méthodes formelles
Monitoring
Debugging
Property
Débogueurs
Systèmes concurrents et distribués
Sémantique dénotationnelle et opérationnelle
Réécriture de terme
Analyse de logs distribués
Observation partielle
Exécution symbolique
Traitement réparti
Sémantique opérationnelle
Parallélisme (informatique)
Surveillance
Système distribué
Composant
Communication
Systèmes informatiques