inf410 - Formal Methods

inf410 - Formal Methods

Department of Computing Science 6 KP
Module components Semester courses Examination
Lecture
  • No access 2.01.410 - Show lecturers
    • Prof. Dr. Heike Wehrheim
    • Lara Bargmann
    • Cedric Richter

    Wednesday: 14:15 - 15:45, fortnightly (from 27/04/22), VL
    Wednesday: 14:15 - 15:45, fortnightly (from 20/04/22), Ü
    Thursday: 14:15 - 15:45, weekly (from 21/04/22), VL

Exercises
  • No access 2.01.410 - Show lecturers
    • Prof. Dr. Heike Wehrheim
    • Lara Bargmann
    • Cedric Richter

    Wednesday: 14:15 - 15:45, fortnightly (from 27/04/22), VL
    Wednesday: 14:15 - 15:45, fortnightly (from 20/04/22), Ü
    Thursday: 14:15 - 15:45, weekly (from 21/04/22), VL

Hinweise zum Modul
Prerequisites
Useful previous knowledge: Course Logic
Reference text

 

 
Prüfungszeiten
Weekly assignments, oral examination at the end
Module examination
Written or oral Exam
Skills to be acquired in this module
Formal methods are mathematically well-defined languages for the modelling of systems. The students get to know different formal methods and learn about their usage for the modelling and analysis of systems. For a given task, they choose adequate formalisms and their corresponding analysis technique, apply these and interpret the outcome of the analysis.
Professional competence
The students:
  • apply mathematical formalisms to the modelling of systems
  • choose an adequate modelling formalism for some given task
  • formally specify systems
  • choose suitable analysis techniques
  • interpret results of analysis runs

Methodogical competence
The students:
  • carry out formal correctness proofs
  • employ analysis tools
  • define the semantics of formal specification languages

Social competence
The students:
  • work in groups on tasks and explain solutions to each other
  • discuss the advantages and disadvantages of modelling formalisms.

Self-competence
The students:
  • organise themselves for the work in the module

Top