Ce répertoire contient les transparents des cours passés, ainsi que les exemples Frama-C/Eva présentés dans le cours 1, dans le sous-répertoire config, ce qui permet de les avoir automatiquement dans l'image Docker du cours (voir https://github.com/Frederic-Boulanger-UPS/docker-webtop-3asl pour plus d'information). Chaque exemple contient dans un commentaire la ligne de commande Frama-C qui permet de faire l'analyse avec le niveau de précision voulue.