Début | Lundi 30 janvier |
Remise des rapports | Lundi 27 mars |
Soutenance | Vendredi 31 mars, 14 heures, salle 075 (LaBRI) |
Nombre d'étudiants | Trois ou Quatre |
Emmanuel Fleury | Vérification de code via les front-ends du compilateur gcc. |
| ||||||
Alain Griffault | Expertise d'un régulateur de vitesse automobile. |
| ||||||
Kaninda Musumbu | Construction automatique de systèmes abstraits au moyen des prédicats. | |||||||
Aymeric Vincent | Visualisation de treillis et calculs de points fixes. | |||||||
Marc Zeitoun | Vérification LTL pour AltaRica. |
|
Veuillez reporter toute erreur ou omission à Alain Griffault.
Dernière mise à jour effectuée le 29 mars 2006.