Différences

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

--- muc_2009_2010_lecture2 [2009/12/15 07:08] – tigli
+++ muc_2009_2010_lecture2 [2010/01/05 11:31] (Version actuelle) – tigli
@@ Ligne 43: / Ligne 43: @@
   * 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]]
+  * Lustre Manual : {{https://rainbow.i3s.unice.fr/~tigli/cours/MUC/Lecture2/LustreManual/lv4man.ps| paper }}
   * Sample Lustre programs to illustrate the lecture   [[http://rainbow.i3s.unice.fr/~tigli/cours/MUC/Lecture2/Lecture%202%20Sample%20programs.zip|Sample Lustre programs]]
@@ Ligne 57: / Ligne 59: @@
    * On the Formal Verification of Middleware Behavioral Properties, Jérôme Huguesa, Thomas Vergnauda, Laurent Pauteta, Yann Thierry-Miega, Soheib Baarira, and Fabrice Kordona, Electronic Notes in Theoretical Computer Science, Elsevier editor, Volume 133, 31 May 2005, Pages 139-157, Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2004)
+====== Tools :  ======