INF 423} Technologies de la Vérification (TV) 6 ECTS Parcours : GL_Verif, AMF_Verif Semestre : S3 Responsables : Emmanuel Fleury et Kaninda Musumbu Pré-requis : Algorithmes et Structures de Données Objectifs : Deux objectifs : d'une part être capable de développer des outils de vérification; d'autre part d'en comprendre les limites actuelles, du fait des complexités, sur la taille des systèmes réels analysables. Programme : - Les algorithmes de la vérification : l'algorithme de Tarjan du calcul des composantes fortement connexes, l'algorithme de calcul de plus petit point fixe, la vérification à la volée... - Les structures de données compactes : les BDD, les tableaux de bits, ... - Les preuves, le raffinement, l'interprétation abstraite, ... - ... Contrôle des connaissances : - examen écrit de 3h00 (2/3), - controle continu (1/3)