Université Bordeaux 1 - Master S&T Informatique - Parcours Ingénierie des Systèmes Critiques
Technologies de la Vérification
Description
Deux objectifs pour ce cours: d'une part être capable de développer des outils de vérification; d'autre part comprendre les limites actuelles de des outils, du fait des complexités, sur la taille des systèmes réels analysables.
- 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...
- le raffinement, l'interprétation abstraite...
Enseignants
Contrôle des connaissances
Examen écrit de 3h
Contrôle continu
Veuillez reporter toute erreur ou omission à Alain Griffault.
Dernière mise à jour effectuée le 2 octobre 2006.