Stud.IP Uni Oldenburg
University of Oldenburg
27.06.2022 11:34:55
inf410 - Formal Methods
Department of Computing Science 6 KP
Module components Semester courses Sommersemester 2022 Examination
Lecture
  • Unlimited access 2.01.410 - Formale Methoden Show lecturers
    • Prof. Dr. Heike Wehrheim
    • Lara Bargmann

    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
  • Unlimited access 2.01.410 - Formale Methoden Show lecturers
    • Prof. Dr. Heike Wehrheim
    • Lara Bargmann

    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

Notes for the module
Reference text
Useful previous knowledge: Course Logic
 

 
Time of examination
Weekly assignments, oral examination at the end
Module examination
Portfolio
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