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.

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.