Le moteur de recherche
des thèses françaises
Jean-Michel Couvreur
IdRefMots clés
FR |
EN
Sécurité
Programmation parallèle (informatique)
Méthodes formelles (informatique)
Traitement réparti
Systèmes informatiques -- Mesures de sûreté
Logiciels -- Vérification
Parallélisme (informatique)
Vérification
Parallélisme
Compilation
Compilation (informatique)
Solveurs linéaires parallèles
Résolution de problème -- Informatique
Calcul des propositions
Méthodes formelles
Algorithmes
Vérification symbolique
Diagrammes de décision binaires
Algorithme de saturation
Logique temporelle linéaire