L'objectif de ce sujet est d'implémenter un outil de vérification de programmes utilisant un type d'analyse appelé interprétation abstraite.
Voici les fichiers nécessaires à la réalisation du projet :