Projet interprétation abstraite

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 :