Intégrer La Prépa des INP
Intégrer une école
S'inscrire
Livret d'accueil
École / Prépa
ENSEIRB-MATMECA
Code interne
EIN9-IFON3
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
- CICours Intégrés20h
- TITravaux Individuels3h
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 Frama-C
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 |