Université Bordeaux 1 - Master S&T Informatique - Parcours Ingénierie des Systèmes Critiques
Conceptions Formelles
Description
Une approche pragmatique de l'utilisation des méthodes formelles à partir d'études de cas, et de deux techniques éprouvées : le raffinement et la vérification de modèles.
- Les modèles finis et la logique du premier ordre,
- le langage B et le modèle AltaRica.
- des méthodologies de conception assistée par les méthodes formelles.
- l'atelier B et les outils AltaRica.
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.