IP5620 - Secure programming 2

IP5620 - Secure programming 2

Objectifs

Objectif général :

At the end of this course, the student will be able to use in simple context 2 different formal methods techniques

Objectifs détaillés :

At the end of this course, the student will be able to:
- explain the interest of formal methods
- name 3 different kind of formal methods and explain the differences
- use 2 different techniques on simple problems

Ce cours fait partie de la formation

En bref

Crédits ECTS : Cf UE

Langue d'enseignement
Anglais

Contact(s)

Stéphane CONVERSY

Tél : +33 5 62 17 40 19

Email : stephane.conversy @ enac.fr

Célia PICARD

Email : celia.picard @ enac.fr