Le moteur de recherche
des thèses françaises
Sylvain Conchon
IdRefMots clés
FR |
EN
Méthodes formelles (informatique)
Vérification de modèles (informatique)
Logiciels -- Vérification
Théorèmes -- Démonstration automatique
Optimisation combinatoire
Programmation parallèle (informatique)
Méthodes formelles
SMT
Programmation stochastique
Parallélisme
Compilation (informatique)
Model checking
Programmation générative
Programmation générique
C++
Vérification
Théorie des jeux
Blockchains
Procédures de décision
Compilation