| 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.