Programme d’études 2019-2020English
Méthodes formelles : Fondements
Activité d'apprentissage
CodeTitulaire(s)Co-Titulaire(s)Suppléant(s) et autre(s)Établissement(s)
S-MATH-051
      • RANDOUR Mickaël
      • UMONS
      Langue
      d’enseignement
      Langue
      d’évaluation
      HT(*) HTPE(*) HTPS(*) HR(*) HD(*) Période
      d’enseignement
      FrançaisFrançais3015500Q1

      Modalités d'organisation des évaluations à distance de fin de Q3 2019-2020 (Covid-19)
      • Epreuve orale (Questions - réponses, présentation d'un travail individuel ou collectif, commentaire et argumentation à propos d'un travail écrit,...)
      Description des modalités d'évaluation à distance de fin de Q3 2019-2020 (Covid-19)
      Idem que Q1, mais via Teams.

      Contenu de l'AA

      Modélisation de systèmes. Linear temporal logic. Computation tree logic. Model checking symbolique. Vérification de systèmes probabilistes (et quantitatifs). Synthèse de systèmes probabilistes (et quantitatifs). Synthèse via la théorie des jeux. Présentations d'outils logiciels par les étudiants.

      Supports principaux non reproductibles

      Supports principaux disponibles sur Moodle.

      Support complémentaires non reproductibles

      Sans objet

      Autres références conseillées

      C. Baier, J.-P. Katoen. Principles of Model Checking. MIT Press, 2008.

      Mode d'enseignement

      • Face à face

      Types d'activités

      • Cours magistraux
      • Exercices dirigés
      • Utilisation de logiciels
      • Démonstrations
      • Préparations, travaux, recherches d'information

      Evaluations

      Les modalités d'évaluation de l'AA sont précisées dans la fiche de l'UE dont elle dépend

      (*) HT : Heures théoriques - HTPE : Heures de travaux pratiques encadrés - HTPS : Heures de travaux pratiques supervisés - HD : Heures diverses - HR : Heures de remédiation - Dans la colonne Pér. (Période), A=Année, Q1=1er quadrimestre et Q2=2e quadrimestre
      Date de génération : 13/07/2020
      20, place du Parc, B7000 Mons - Belgique
      Tél: +32 (0)65 373111
      Courriel: info.mons@umons.ac.be