[M1 MPRI] Introduction à la preuve déductive de programmes

L'objectif de cette UE est de faire découvrir la spécification formelle et la vérification déductive de programmes à travers l'utilisation des outils Why3 et Frama-C.

UE libre: No
Année: 20/21