Différences

Ci-dessous, les différences entre deux révisions de la page.

--- muc_2010_2011_lecture2 [2010/12/13 15:36] – créée tigli
+++ muc_2010_2011_lecture2 [2010/12/15 09:06] (Version actuelle) – [Main Ressources :] tigli
@@ Ligne 2: / Ligne 2: @@
 ====== Lecture 2 : Formal Methods for Middleware verification ======
-  * Date : December, 14th 2009
+  * Date : December, 14th 2010
-  * Instructor : A. Ressouche and  J.-Y. Tigli
+  * Instructor : A. Ressouche
   * Duration : 4h
@@ Ligne 40: / Ligne 40: @@
-====== Ressources : ======
-  * Slides of the lecture "Synchronous Languages Verification" : [[http://rainbow.i3s.unice.fr/~tigli/cours/MUC/Lecture2/Lecture2_MUC_UBINET_2010_verif_slides.pdf|Synchronous Languages Verification]]
+====== Main Ressources : ======
+  * Slides of the lecture "Synchronous Languages Verification" : [[http://rainbow.i3s.unice.fr/~tigli/cours/MUC/MUC%202010%202011/Lecture2_MUC_UBINET_Verif_slides.pdf|Synchronous Languages Verification for middleware]]
+  * Tutorial of the lecture : [[https://rainbow.essi.fr/~tigli/cours/MUC/MUC%202010%202011/Tutorial2_MUC_UBINET.pdf|Synchronous Languages Verification using Lustre]]
+====== Other Ressources : ======
   * Lustre Manual : {{https://rainbow.i3s.unice.fr/~tigli/cours/MUC/Lecture2/LustreManual/lv4man.ps| paper }}