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
Programmation parallèle (informatique)
Méthodes formelles
Optimisation combinatoire
Model checking
Vérification
SMT
Parallélisme
Programmation générative
Programmation générique
C++
Programmation stochastique
Vérification de modèles
Parallélisme (informatique)
Compilation (informatique)
Systèmes paramétrés
Architecture -- Informatique