Study programme 2021-2022Français
Formal Methods: Applications
Learning Activity
CodeLecturer(s)Associate Lecturer(s)Subsitute Lecturer(s) et other(s)Establishment
      • RANDOUR Mickaël
      • UMONS
      of instruction
      of assessment
      HT(*) HTPE(*) HTPS(*) HR(*) HD(*) Term

      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


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

      (*) 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 génération : 01/10/2021
      20, place du Parc, B7000 Mons - Belgique
      Tél: +32 (0)65 373111