Josselin Giet: Automatic verification of tasks schedulers. (Vérification automatique d'ordonnanceurs de tâches). École Normale Supérieure, Paris, France 2024