Composante
ENSEIRB-MATMECA
Code interne
EI9IF338
Description
Maîtriser les concepts fondamentaux de la spécification et de la preuve formelle de programme.
Acquérir des compétences pratiques dans ce domaine.
Heures d'enseignement
- TPTravaux Pratiques10h
Pré-requis obligatoires
Maîtrise du langage C.
Syllabus
Introduction à l'analyse statique de programme
Spécification de programmes en ACSL
Preuve de programmes avec Why3
Modalités de contrôle des connaissances
Évaluation initiale / Session principale - Épreuves
Type d'évaluation | Nature de l'épreuve | Durée (en minutes) | Nombre d'épreuves | Coefficient de l'épreuve | Note éliminatoire de l'épreuve | Remarques |
---|---|---|---|---|---|---|
Contrôle Continu Intégral | Contrôle Continu | 1 |