Explore les principes d'interprétation abstraite et le domaine Octagon, en mettant l'accent sur les compromis entre précision et efficacité et l'analyse statique des programmes.
Fournit un aperçu de l'analyse des mécanismes avancés utilisant la méthode des éléments finis et l'analyse des éléments finis dans les applications d'ingénierie.
Explore la recherche de bugs, la vérification et l'utilisation d'approches aidées à l'apprentissage dans le raisonnement de programme, montrant des exemples comme le bug Heartbleed et le raisonnement bayésien différentiel.
Couvre le théorème de la valeur intermédiaire, les propriétés des fonctions, la continuité, la recherche des racines et les concepts de différenciation.
Explore l'intersection entre les humanités numériques et les études de jeu, en mettant en évidence divers projets de recherche et en soulignant la nature interdisciplinaire de la recherche dans ces domaines.
Explore l'interprétation abstraite en acier inoxydable, démontrant son application dans la vérification du programme et discutant des orientations futures pour le projet.
