Titre:
  • Contributions to formalisms for the specification and verification of quantitative properties
Auteur:Mazzocchi, Nicolas
Président du jury:Massart, Thierry
Promoteur:Filiot, Emmanuel
Co-Promoteur:Raskin, Jean-François
Membre du jury:Sankaranarayanan, Sriram; Reynier, Pierre-Alain
Informations sur la publication:Université libre de Bruxelles, Faculté des Sciences – Informatique, Bruxelles
Date de défense:2020-10-09
Sujet CREF:Informatique mathématique
Mots-clés:Formal methods
Quantitative verification
Weighted automata
Logic for automata
Intitulé du diplôme:Doctorat en Sciences
Langue:Anglais
Anneé académique:2020-2021