Outils pour utilisateurs

Outils du site


muc_2009_2010_lecture2

Différences

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

Lien vers cette vue comparative

Les deux révisions précédentes Révision précédente
Prochaine révision
Révision précédente
muc_2009_2010_lecture2 [2009/12/15 08:08]
tigli
muc_2009_2010_lecture2 [2010/01/05 12:31]
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]]   * 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]]   * 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)     * 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 :  ======
  
  
muc_2009_2010_lecture2.txt · Dernière modification: 2010/01/05 12:31 par tigli