Stud.IP Uni Oldenburg
University of Oldenburg
27.06.2022 11:08:57
inf410 - Formal Methods (Complete module description)
Original version English Download as PDF
Module label Formal Methods
Module code inf410
Credit points 6.0 KP
Workload 180 h
Institute directory Department of Computing Science
Applicability of the module
  • Bachelor's Programme Computing Science (Bachelor) > Akzentsetzungsbereich - Wahlbereich Informatik
  • Master of Education Programme (Gymnasium) Computing Science (Master of Education) > Wahlpflichtmodule (Theoretische Informatik)
Responsible persons
Wehrheim, Heike (Module responsibility)
Lehrenden, Die im Modul (Authorized examiners)
Prerequisites
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.
Module contents
- Short recap of predicate logic, use of predicate logic in program verification,
-
Petri nets,
- Process algebra CCS,
- Timed automata,
- Z.
Reader's advisory

 

Links
Language of instruction German
Duration (semesters) 1 Semester
Module frequency
Module capacity unlimited
Reference text
Useful previous knowledge: Course Logic
 

 
Modullevel / module level MM (Mastermodul / Master module)
Modulart / typ of module Wahlpflicht / Elective
Lehr-/Lernform / Teaching/Learning method
Vorkenntnisse / Previous knowledge
Course type Comment SWS Frequency Workload of compulsory attendance
Lecture
2 SuSe or WiSe 28
Exercises
2 SuSe or WiSe 28
Total time of attendance for the module 56 h
Examination Time of examination Type of examination
Final exam of module
Weekly assignments, oral examination at the end
Portfolio