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