Projet de recherche doctoral numero :5401

Description

Date depot: 16 novembre 2018
Titre: Vérification paramétrée et dérivation de code à partir de spécifications formelles pour les systèmes embarqués
Directeur de thèse: Pascal POIZAT (LIP6)
Directeur de thèse: Souheib BAARIR (LIP6)
Domaine scientifique: Sciences et technologies de l'information et de la communication
Thématique CNRS : Modèles de calcul, preuve, vérification

Resumé: A compléter.

Doctorant.e: Houhou Sara