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.
- Enseignant: Andriy Paskevych
- Enseignant: Julien Signoles
Année: 20/21
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.