Vérification Formelle de Systèmes Répartis
vfsr

Cours VFSR :


Ce cours introduit des techniques d’analyse automatisables utilisées pour vérifier la correction de systèmes distribués.

Un modèle du système est nécessaire. Nous utiliserons le formalisme des réseaux de Petri (colorés) du fait de leur pouvoir d’expression et des techniques d’analyse, dites structurelles, qui lui sont associées.

Ces techniques peuvent être exploitées seules ou combinées à des techniques plus générales qui travaillent directement sur l’espace d’état, abstraction faite du formalisme utilisé pour le modèle. Nous introduirons successivement 2 approches de vérification complémentaires : le ’model checking’ et le ’test’.

PLAN :
partie 1 : vérification et propriétés structurelles des réseaux de Petri (3 séances - JF Peyre)
partie 2 : vérification et approche comportementale par la logique temporelle (2.5 séances - JM Ilié)
partie 3 : méthodologie de tests (1.5 séances - C Besse).

[!! lles 3 premières séances ont lieu au CNAM, voir la brève sur le site, les autres séances auront lieu à Paris 6 comme d’habitude].

Responsable de ce module (J-M Ilié).

Localisation


modifier cet emploi du temps   Cours : 205 Bât 31  le mercredi de 19h 0 à 19h 1,
par Jean-Michel ILIE.

Tableau des travaux dirigés et travaux sur machine
Groupes Intervenant Salle Jour Horaire
1 Jean-Michel ILIE   
modifier cet emploi du temps TM : 201-203 Bât 31 mercredi15h 1-15h 1

Calendrier

aujourd'hui :   novembre 2005 - décembre 2006  calendrier par jourcalendrier par semainecalendrier par mois
lundi mardi mercredi jeudi vendredi samedi dimanche
01/1144 02/1144 03/1144 04/1144 05/1144 06/1144
07/1145 08/1145 09/1145 10/1145 11/1145 12/1145 13/1145
14/1146 15/1146 16/1146 17/1146 18/1146 19/1146 20/1146
21/1147 22/1147 23/1147 24/1147 25/1147 26/1147 27/1147
28/1148 29/1148 30/1148 01/1248 02/1248 03/1248 04/1248
05/1249 06/1249 07/1249 08/1249 09/1249 10/1249 11/1249
12/1250 13/1250 14/1250 15/1250 16/1250 17/1250 18/1250
19/1251 20/1251 21/1251 22/1251 23/1251 24/1251 25/1251
26/1252 27/1252 28/1252 29/1252 30/1252 31/1252 01/0152
02/0101 03/0101 04/0101 05/0101 06/0101 07/0101 08/0101
09/0102 10/0102 11/0102 12/0102 13/0102 14/0102 15/0102
16/0103 17/0103 18/0103 19/0103 20/0103 21/0103 22/0103
23/0104 24/0104 25/0104 26/0104 27/0104 28/0104 29/0104
30/0105 31/0105 01/0205 02/0205 03/0205 04/0205 05/0205
06/0206 07/0206 08/0206 09/0206 10/0206 11/0206 12/0206
13/0207 14/0207 15/0207 16/0207 17/0207 18/0207 19/0207
20/0208 21/0208 22/0208 23/0208 24/0208 25/0208 26/0208
27/0209 28/0209 01/0309 02/0309 03/0309 04/0309 05/0309
06/0310 07/0310 08/0310 09/0310 10/0310 11/0310 12/0310
13/0311 14/0311 15/0311 16/0311 17/0311 18/0311 19/0311
20/0312 21/0312 22/0312 23/0312 24/0312 25/0312 26/0312
27/0313 28/0313 29/0313 30/0313 31/0313 01/0413 02/0413
03/0414 04/0414 05/0414 06/0414 07/0414 08/0414 09/0414
10/0415 11/0415 12/0415 13/0415 14/0415 15/0415 16/0415
17/0416 18/0416 19/0416 20/0416 21/0416 22/0416 23/0416
24/0417 25/0417 26/0417 27/0417 28/0417 29/0417 30/0417
01/0518 02/0518 03/0518 04/0518 05/0518 06/0518 07/0518
08/0519 09/0519 10/0519 11/0519 12/0519 13/0519 14/0519
15/0520 16/0520 17/0520 18/0520 19/0520 20/0520 21/0520
22/0521 23/0521 24/0521 25/0521 26/0521 27/0521 28/0521
29/0522 30/0522 31/0522 01/0622 02/0622 03/0622 04/0622
05/0623 06/0623 07/0623 08/0623 09/0623 10/0623 11/0623
12/0624 13/0624 14/0624 15/0624 16/0624 17/0624 18/0624
19/0625 20/0625 21/0625 22/0625 23/0625 24/0625 25/0625
26/0626 27/0626 28/0626 29/0626 30/0626 01/0726 02/0726
03/0727 04/0727 05/0727 06/0727 07/0727 08/0727 09/0727
10/0728 11/0728 12/0728 13/0728 14/0728 15/0728 16/0728
17/0729 18/0729 19/0729 20/0729 21/0729 22/0729 23/0729
24/0730 25/0730 26/0730 27/0730 28/0730 29/0730 30/0730
31/0731 01/0831 02/0831 03/0831 04/0831 05/0831 06/0831
07/0832 08/0832 09/0832 10/0832 11/0832 12/0832 13/0832
14/0833 15/0833 16/0833 17/0833 18/0833 19/0833 20/0833
21/0834 22/0834 23/0834 24/0834 25/0834 26/0834 27/0834
28/0835 29/0835 30/0835 31/0835 01/0935 02/0935 03/0935
04/0936 05/0936 06/0936 07/0936 08/0936 09/0936 10/0936
11/0937 12/0937 13/0937 14/0937 15/0937 16/0937 17/0937
18/0938 19/0938 20/0938 21/0938 22/0938 23/0938 24/0938
25/0939 26/0939 27/0939 28/0939 29/0939 30/0939 01/1039
02/1040 03/1040 04/1040 05/1040 06/1040 07/1040 08/1040
09/1041 10/1041 11/1041 12/1041 13/1041 14/1041 15/1041
16/1042 17/1042 18/1042 19/1042 20/1042 21/1042 22/1042
23/1043 24/1043 25/1043 26/1043 27/1043 28/1043 29/1043
30/1044 31/1044 01/1144 02/1144 03/1144 04/1144 05/1144
06/1145 07/1145 08/1145 09/1145 10/1145 11/1145 12/1145
13/1146 14/1146 15/1146 16/1146 17/1146 18/1146 19/1146
20/1147 21/1147 22/1147 23/1147 24/1147 25/1147 26/1147
27/1148 28/1148 29/1148 30/1148 01/1248