Description
Date depot: 18 décembre 2018
Titre: Synthèse pour les systèmes paramétrés
Directrice de thèse:
Béatrice BÉRARD (LIP6)
Encadrante :
Nathalie SZNAJDER (LIP6)
Domaine scientifique: Sciences et technologies de l'information et de la communication
Thématique CNRS : Non defini
Resumé:
Synthèse pour les systèmes paramétrés : il s'agit de synthétiser un programme satisfaisant une spécification, dans le cadre de systèmes répartis avec un nombre inconnu de processus participants. Ce programme sera donc correct par construction.
Doctorant.e: Lehaut Mathieu