Spécification et preuve formelle de programmes

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.

Maîtrise du langage C.

Introduction à l'analyse statique de programme
Spécification de programmes en ACSL
Preuve de programmes avec Why3

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