Outils pour utilisateurs
muc_2009_2010_lecture2
Différences
Ci-dessous, les différences entre deux révisions de la page.
| 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/11 15:13] tigli |
muc_2009_2010_lecture2 [2010/01/05 12:31] (Version actuelle) tigli |
||
|---|---|---|---|
| Ligne 42: | Ligne 42: | ||
| ====== Ressources : ====== | ====== Ressources : ====== | ||
| - | * Slides of the lecture "First trends in Middleware for Ubiquituous Computing" : [[http://rainbow.i3s.unice.fr/~tigli/cours/MUC/Lecture1/Lecture1_MUC_UBINET_2010_slides.pdf|Middleware for Ubiquitous Computing WComp 2.0]] | + | * 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 }} | ||
| - | {{:verification.ppt|From Testing ... through Static Analysis... to Formal Verification (Annie Ressouche)}} | + | * Sample Lustre programs to illustrate the lecture [[http://rainbow.i3s.unice.fr/~tigli/cours/MUC/Lecture2/Lecture%202%20Sample%20programs.zip|Sample Lustre programs]] |
| + | |||
| + | * Documentation for the tutorial 3 " Verification with Lustre and Lesar " : [[http://rainbow.i3s.unice.fr/~tigli/cours/MUC/Lecture2/Tutorial3_MUC_Ubinet_2010_Doc.pdf|Tutorial 3, Verification with Lustre and Lesar]] | ||
| + | |||
| + | * Sample code in Lustre: [[http://rainbow.i3s.unice.fr/~tigli/cours/MUC/Lecture2/Tutorial3/|Tutorial 3, sample code in Lustre]] | ||
| + | |||
| + | |||
| + | * Documentation for the tutorial 2 "Creating an advanced Component in WComp 2.0" : [[http://rainbow.i3s.unice.fr/~tigli/cours/MUC/Lecture2/Tutorial2_MUC_Ubinet_2010_Doc.pdf|Tutorial 2, Creating an advanced Component in WComp 2.0]] | ||
| ===== References ===== | ===== References ===== | ||
| Ligne 51: | 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 : ====== | ||
| Ligne 61: | Ligne 71: | ||
| This distribution is experimental. | This distribution is experimental. | ||
| - | It requires a recent, fully installed version of the cygwin system for Windows (gcc, g++, tcl/tk etc). | + | == Requirements :== |
| + | |||
| + | It requires a recent, fully installed version of the cygwin system for Windows (gcc, g++, tcl/tk etc). | ||
| + | [[http://www.cygwin.com/|Cywin installation ]] | ||
| + | == Installation :== | ||
| Within a cygwin shell, extract the archive (typically in /usr/local). Modify your bashrc file with: | Within a cygwin shell, extract the archive (typically in /usr/local). Modify your bashrc file with: | ||
muc_2009_2010_lecture2.1260540825.txt.gz · Dernière modification: 2009/12/11 15:13 par tigli
Outils de la page
Sauf mention contraire, le contenu de ce wiki est placé sous les termes de la licence suivante : CC Attribution-Noncommercial-Share Alike 4.0 International
