Methodes Formelles pour la Verification de Systems
M2 du Master d'Informatique & 3A EIDD - Universite de Paris
Information utiles
-
Contact : Ahmed Bouajjani -- abou "at" irif "dot" fr
-
Creneaux horaires :
Cours : Jeudi 08:00-10:00, TD : Jeudi 10:00-12:00
-
Debut des Cours : Jeudi 1 Octobre 2020
-
Debut des TD : Jeudi 8 Octobre 2020
-
Liens Zoom :
Cours -- Jeudi 08:00 ,
TD -- Jeudi 10:00
-
Videos des Cours et TD : Lien Youtube
Annonces
- NOUVEAU : Le sujet de l'examen est accessible ici : EXAM
- L'examen est concu pour
etre fait en 2 heures, mais 2 heures supplementaires sont prevues.
- Les copies devront etre envoyees par mail a mon adresse electronique
abou "at" irif "point" fr avant le 15 Decembre 2020 a 19:30 . Aucun retard non justifie (par exemple par un certificat medical avec arret de travail) ne sera accepte.
- Pour rendre votre copie, votre email doit absolument avoir comme sujet : [MFV_EXAM] copie de "VOTRE-NOM" "votre prenom"
. Par exemple : M. Corto Maltese devra envoyer sa copie par un mail avec comme sujet : [MFV_EXAM] copie de MALTESE Corto. Ceci est extremement important : Tout mail envoye avec un sujet non conforme a ce pattern a de tres grandes chances d'etre ignore et perdu.
- Le fichier envoye doit etre en format PDF. Le nom du fichier doit etre "VOTRE-NOM_votre-prenom_exam . Exemple :
M. Corto Maltese devra appeler son fichier : MALTESE_Corto_exam. Le texte des copies rendues doit etre redige a l'aide d'un editeur, ou alors ecrit a la main de maniere tres lisible, sans ratures, et scanne pour obtenir un fichier PDF. Une copie mal presentee ou difficile a lire ne sera pas consideree.
-
Noms des etudiants ayant rendu une copie :
AHMED Mohamed;
ALHOUCINE Yacine;
ALOUI Ooualid;
AZOUAGH Wassima;
BENHMIDAELABRI_Haifa;
BERRICHE Hamza;
BOUHASSOUNE Yassine;
CANNAYA Remy;
CHABOCHE Valentin;
DIALLO AMADOU Sadjo;
DIOURI Mehdi;
DURIEZ Antoine;
ELLAABI Youssef;
GANTET Saturnin;
GAO Eric;
GUDIN Thibaut;
GUO Yangming;
HENCHIRI Sarah;
HERBADJI Anis;
IGGUI Ined;
JEAN CHARLES Joris;
LADJYN Prisca;
LAHDIR Mohamed;
MAROUBY Alexandra;
MEKHERBECHE Soumeya;
MENZER Rofayda;
MERAT Laure;
MESSAOUDENE Kamel;
MOHAND OUMOUSSA Mohamed;
MOULOUD Mebarek;
MOULOUDJ Sihem;
NARAYANANE Adrien;
OKUTUCU Murat;
OUALI Ahmed;
PALMER Sebastien;
ROY Gaspar;
SABOUR Nabil;
SUAREZ Diego;
TAMIME Mougam;
VIENNE Maxime.
Transparents des cours
Feuilles de TD