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...).
- les systèmes de transition et la bisimulation,
- les logiques LTL, CTL, CTL* et le mu-calcul,
- les liens entre les logiques et la théorie du contrôle.
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.