Université Bordeaux 1 - Master S&T Informatique - Parcours Ingénierie des Systèmes Critiques


Logiques Comportementales

Description

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...). L'utilisation d'outils tels que : Mec, SMV, Synthesis... permettra d'illustrer le cours par l'étude de nombreux exemples académiques.

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.