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