Study programme 2023-2024Français
Formal methods: foundations
Learning Activity
CodeLecturer(s)Associate Lecturer(s)Subsitute Lecturer(s) et other(s)Establishment
S-MATH-051
      • RANDOUR Mickaël
      • UMONS
      Language
      of instruction
      Language
      of assessment
      HT(*) HTPE(*) HTPS(*) HR(*) HD(*) Term
      FrançaisFrançais3015500Q1


      Content of Learning Activity

      Modeling systems. Linear temporal logic. Computation tree logic. Symbolic model checking. Model checking probabilistic (and quantitative) systems. Synthesis of probabilistic (and quantitative) systems. Synthesis via game theory. Tool presentations by students.

      Required Learning Resources/Tools

      Lecture notes available on Moodle.

      Recommended Learning Resources/Tools

      Not applicable

      Other Recommended Reading

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

      Mode of delivery

      • Face-to-face

      Type of Teaching Activity/Activities

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

      Evaluations

      The assessment methods of the Learning Activity (AA) are specified in the course description of the corresponding Educational Component (UE)

      Location of learning activity

      • Université de Mons - Mons

      Location of assessment

      • Université de Mons - Mons
      (*) HT : Hours of theory - HTPE : Hours of in-class exercices - HTPS : hours of practical work - HD : HMiscellaneous time - HR : Hours of remedial classes. - Per. (Period), Y=Year, Q1=1st term et Q2=2nd term
      Date de dernière mise à jour de la fiche ECTS par l'enseignant : 10/05/2023
      Date de dernière génération automatique de la page : 18/05/2024
      20, place du Parc, B7000 Mons - Belgique
      Tél: +32 (0)65 373111
      Courriel: info.mons@umons.ac.be