INF421 Logiques Comportementales (LC) 6 ECTS Parcours : GL_Verif, AMF_Verif Semestre : S3 Responsables : Anne Dicky et Marc Zeitoun Pré-requis : Logique Objectifs : Les propriétés attendues des systèmes étudiés doivent être formulées dans une logique permettant d'exprimer des comportements (équivalence de systèmes, accessibilité d'une configuration,...). Programme : - Les systèmes de transition et la bisimulation. - Les logiques LTL, CTL, CTL* et le mu-calcul, - Les liens entre les logiques et la théorie du contrôle. - Utilisation d'outils tels que : Mec, SMV, Synthesis, ... Contrôle des connaissances : - examen écrit de 3h00 (2/3), - controle continu (1/3)