muc_2009_2010_lecture2
Différences
Ci-dessous, les différences entre deux révisions de la page.
Les deux révisions précédentesRévision précédenteProchaine révision | Révision précédente | ||
muc_2009_2010_lecture2 [2009/12/11 14:13] – tigli | muc_2009_2010_lecture2 [2010/01/05 11:31] (Version actuelle) – tigli | ||
---|---|---|---|
Ligne 42: | Ligne 42: | ||
====== Ressources : ====== | ====== Ressources : ====== | ||
- | * Slides of the lecture "First trends in Middleware for Ubiquituous Computing" : [[http:// | + | * Slides of the lecture "Synchronous Languages Verification" : [[http:// |
+ | * Lustre Manual : {{https:// | ||
- | {{:verification.ppt|From Testing | + | * Sample Lustre programs to illustrate the lecture |
+ | |||
+ | * Documentation for the tutorial 3 " Verification with Lustre and Lesar " : [[http:// | ||
+ | |||
+ | * Sample code in Lustre: [[http:// | ||
+ | |||
+ | |||
+ | * Documentation for the tutorial 2 " | ||
===== 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, | * On the Formal Verification of Middleware Behavioral Properties, Jérôme Huguesa, Thomas Vergnauda, Laurent Pauteta, Yann Thierry-Miega, | ||
+ | |||
+ | ====== 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:// | ||
+ | == Installation :== | ||
Within a cygwin shell, extract the archive (typically in / | Within a cygwin shell, extract the archive (typically in / |
muc_2009_2010_lecture2.1260540825.txt.gz · Dernière modification : 2009/12/11 14:13 de tigli