UE Vérification et test des systèmes numériques

Objectifs	Ce module traite des concepts, techniques et outils dédiés à la vérification et au test de systèmes embarquant du logiciel et/ou du matériel
Éléments de cours	Modélisation et vérification de systèmes réactifs TP Vérification logicielle Vérification matérielle
Horaire encadré	40h
Prerequis	UE Conception de systèmes numériques
Responsable	Jocelyn SEROT
ECTS	4