IP5620 - Writing software requirements
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