Govind RAJANBABU - Admis au titre de docteur

Doctorat Informatique

Thèse soutenue le 16 juin 2021 - Université de Bordeaux

Ecole doctorale : Mathématiques et Informatique

Sujet : Réduction d’ordre partiel pour les systèmes temporisés

Mots-clés de la thèse : Automates temporisés,Vérification,Réduction d’ordre partiel,Explosion de l'espace d'état,Abstractions,Sémantique temporelle locale,

Direction de thèse : Igor WALUKIEWICZ

Co-direction de thèse : Balaguru Srivathsan

Co-direction de thèse : Frédéric HERBRETEAU

Cotutelle Chennai Mathematical Institute INDE

Unité de recherche : LaBRI - Laboratoire Bordelais de Recherche en Informatique UMR 5800 - Talence
Intitulé de l'équipe : Méthodes et Modèles formels

Master - Master of Science

obtenu en juillet 2017 - Chennai Mathematical Institute
Option : Computer Science

Dernière mise à jour le 20 juillet 2021