MANYSYNTH (FNRS / MIS)

Le projet ManySynth (Many-sided Synthesis of Reactive Systems: Foundations, Algorithms, and Tools) vise à améliorer la fiabilité et la sécurité des systèmes réactifs (p.ex. logiciels embarqués omniprésents dans nos vies) via le développement de théories mathématiques et d’outils logiciels supportant la vérification et la synthèse automatisée de systèmes corrects par construction, avec un focus sur les modèles multi-objectifs.