Séances de cours associées à Runtime verification

Arbres de recherche binaires optimaux

Explique Optimal Binary Search Trees en utilisant la programmation dynamique et couvre un examen de mi-parcours à partir de 2016.

Vérification des compilateurs : défis et avantages

Examine les défis et les avantages de la vérification des compilateurs, en soulignant l'importance de la vérification des compilateurs pour les logiciels critiques.

Méthode de vérification et de déplacement des systèmes flottants

Couvre la vérification de deuxième ordre des systèmes flottants et la méthode de déplacement des pieux dans diverses conditions de chargement.

Le calcul Lambda et la sécurité des types: un aperçu

Fournit un aperçu du calcul lambda, de la sécurité de type et de l'inférence de type dans les langages de programmation.

Algorithmes graphiques : flux et composants fortement connectés

Discute des algorithmes de graphes, en se concentrant sur les réseaux de flux et les composants fortement connectés.