Unité d'enseignement M201 :

« Méthodes formelles »

contenu mis à jour le 2008/10/13 15:19

Description

Crédits : 3

Lieu :  U.F.R. M.I.M. (U1)

Semestre :  S3

Cours/TD/TP : 14h/8h/8h

Responsables :

Résumé : Le module présente une introduction aux méthodes formelles de validation de systèmes et détaille en particulier l'approche Model-checking. Les outils SPIN et UPPAAL illustrent cette technique et les concepts mis en oeuvre.

Plan :

Site Web  : http://www.lif.univ-mrs.fr/~morin/M2_SdS/

Apparaît dans les parcours