Vérification déductive de programmes Enseignants : Andrei Paskevich et Julien Signoles Cours : Faire découvrir les outils de preuve déductive comme Why3, Frama-C, Spark. TD : Prérequis :