Comparaison de méthodes de partitionnement numérique en interprétation abstraite
On cherchera ici à expérimenter différentes méthodes de partitionnement de domaines abstraits pour la vérification de programmes numériques.
Il s’agit ici de mettre au point différents exemples de code impératifs et de faire une évaluation de la précision de différentes méthodes de l’état de l’art.
Pré-requis
- programmation OCaml
