Jean-Michel Couvreur
IdRefMots clés
FR |
EN
Sécurité
Traitement réparti
Logiciels -- Vérification
Programmation parallèle (informatique)
Méthodes formelles (informatique)
Systèmes informatiques -- Mesures de sûreté
Vérification
Parallélisme (informatique)
Parallélisme
Compilation
Compilation (informatique)
Méthodes formelles
Algorithmes
Vérification symbolique
Diagrammes de décision binaires
Algorithme de saturation
Logique temporelle linéaire
Réécriture, Systèmes de (informatique)
Contrôle d’accès
Serveurs Web