ECOLE NATIONALE DE L’AVIATION CIVILE Proposition de sujet de thèse – 2023-2026 Vérification formelle de systèmes interactifs par approche déductive Contact Equipe de recherche : Laboratoire de l’ENAC / Equipe Informatique Interactive Directeur de thèse : M....
More
ECOLE NATIONALE DE L’AVIATION CIVILE Proposition de sujet de thèse – 2023-2026 Vérification formelle de systèmes interactifs par approche déductive Contact Equipe de recherche : Laboratoire de l’ENAC / Equipe Informatique Interactive Directeur de thèse : M. Daniel Prun Contact : daniel.prun@enac.fr Date de démarrage : rentrée 2023 Financement : bourse de l’école doctorale EDSYS pour 3 ans Sujet de thèse Titre : Vérification formelle de systèmes interactifs par approche déductive Mots clefs : Logiciels réactifs, Vérification formelle déductive, Plus faible précondition Résumé : L’objectif de cette thèse est de contribuer à la vérification formelle des propriétés graphiques sur les langages réactifs en développant une approche déductive reposant sur le calcul des plus faibles préconditions. Cet objectif est original car d’une part l’approche vise à adapter aux langages réactifs une approche de vérification formelle qui est classique dans le domaine des langages impératifs, mais peu dével
Less
