théories des langages (TIC)

Ce cours  donne un bref historique aux amplifications du Programme de Methodes Formelles (FM). Admission aux fils de modélisation, specification et verification d’un système ainsi que le formalisme pour la modélisation d’un système. Il permet aux étudiants de connaitre comment: Modéliser un systéme informatique en utilisant les systémes de transitions, Spécifier les propriétés d'un système par la logique temporelle, Faire une vérification formelle par Modele Checking (est ce que le systéme satisfait la propriété visée ).