Etude Bossa

OutlineEtude Bossa1 1 2Jean Paul Bodeveix Mamoun Filali Julia Lawall3Gilles Muller1IRIT2DIKU3EMNReunion´ CORSSNancy12 septembre 2005Bodeveix, Filali, Lawall, Muller Etude Bossa 1/29OutlineOutline1 Objectifs2 Architecture3 Machines BClasses d’etats´schedulerEspace d’etats´ de la politiqueRmLa politiqueRm4 Ver´ ification automatique avec FMonaMona et FMonaTraduction´ ´Proprietes5 ConclusionBodeveix, Filali, Lawall, Muller Etude Bossa 2/29OutlineOutline1 Objectifs2 Architecture3 Machines BClasses d’etats´schedulerEspace d’etats´ de la politiqueRmLa politiqueRm4 Ver´ ification automatique avec FMonaMona et FMonaTraduction´ ´Proprietes5 ConclusionBodeveix, Filali, Lawall, Muller Etude Bossa 2/29OutlineOutline1 Objectifs2 Architecture3 Machines BClasses d’etats´schedulerEspace d’etats´ de la politiqueRmLa politiqueRm4 Ver´ ification automatique avec FMonaMona et FMonaTraduction´ ´Proprietes5 ConclusionBodeveix, Filali, Lawall, Muller Etude Bossa 2/29OutlineOutline1 Objectifs2 Architecture3 Machines BClasses d’etats´schedulerEspace d’etats´ de la politiqueRmLa politiqueRm4 Ver´ ification automatique avec FMonaMona et FMonaTraduction´ ´Proprietes5 ConclusionBodeveix, Filali, Lawall, Muller Etude Bossa 2/29OutlineOutline1 Objectifs2 Architecture3 Machines BClasses d’etats´schedulerEspace d’etats´ de la politiqueRmLa politiqueRm4 Ver´ ification automatique avec FMonaMona et FMonaTraduction´ ´Proprietes5 ...