ECTS
5 crédits
Composante
ENSEIRB-MATMECA
Code interne
EI9AMFB
Votre sélection est vide.
Enregistrez les diplômes, parcours ou enseignements de votre choix.
5 crédits
ENSEIRB-MATMECA
EI9AMFB
ENSEIRB-MATMECA
Ce cours a pour but d'apprendre à utiliser la modélisation formelle comme outil de détection de bugs et de preuve de systèmes ou programmes informatiques.
ENSEIRB-MATMECA
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.