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


      Content of Learning Activity

      Presentation of advanced work on verification and synthesis of computer systems. Project: system development using formal methods.

      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

      • 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 : 25/04/2024
      Date de dernière génération automatique de la page : 04/10/2024
      20, place du Parc, B7000 Mons - Belgique
      Tél: +32 (0)65 373111
      Courriel: info.mons@umons.ac.be