Séminaires
Séminaire du 21 Janvier 2005
Lieu
LIP6: comment y aller
Programme
14h00-15h00: Yann Thierry Mieg (LIP6): Techniques pour le Model-Checking de spécifications de Haut niveau
15h00-16h00 : Laure Petruci (LIPN): Vérification formelle de systèmes. Un expérience avec FAST