Pauline Bolignano: Formal models and verification of memory management in a hypervisor. (Modèles formels et vérification de la gestion de la mémoire dans un hyperviseur). University of Rennes 1, France 2017