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 :