Julien Brunel
IdRefMots clés
FR |
EN
Model checking
Ltl
Fo
Propriété du modèle fini
Vérification de modèles (informatique)
Logique du premier ordre
Multi-Coeurs
Interference
Cache coherence
Microprocesseurs multi-coeurs
Brouillage électromagnétique
Théorie de la prévision
Logique du premier ordre (FO)
Logique temporelle lineaire
Méthodes Formelles
Spécification et Vérification Formelle
Model-Checking
Réseau peer-To-Peer
Protocole de recherche distribuée Chord
Electrum