Compte rendu de la réunion du 27 janvier 2009
29th January 2009
Réunion du 27 janvier 2009 à Toulouse (ENSEEIHT). 37 participants.
Thèmes :
- Vérification des systèmes temps-réel
- Calcul réseau.
Cette réunion a été l’occasion du lancement du groupe WEED.
Transparents des présentations :
- FIACRE, un langage formel pour la spécification de systèmes temps-réels en vue de leur vérification :
- Le langage Fiacre par Francois Vernadat (LAAS)
- Compilateur Fiacre vers Tina par Bernard Berthomieu (LAAS)