inf410 - Formal Methods (Complete module description)

inf410 - Formal Methods (Complete module description)

Original version English PDF Download
Module label Formal Methods
Modulkürzel inf410
Credit points 6.0 KP
Workload 180 h
Institute directory Department of Computing Science
Verwendbarkeit des Moduls
  • Bachelor's Programme Computing Science (Bachelor) > Akzentsetzungsbereich - Wahlbereich Informatik
  • Master of Education Programme (Gymnasium) Computing Science (Master of Education) > Wahlpflichtmodule (Theoretische Informatik)
Zuständige Personen
  • Wehrheim, Heike (module responsibility)
  • Lehrenden, Die im Modul (Prüfungsberechtigt)
Prerequisites
Useful previous knowledge: Course Logic
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
Literaturempfehlungen

 
Links
Language of instruction German
Duration (semesters) 1 Semester
Module frequency every summer term
Module capacity unlimited
Reference text

  

 
Teaching/Learning method 1VL + 1Ü
Previous knowledge Useful previous knowledge: Course Logic
Lehrveranstaltungsform Comment SWS Frequency Workload of compulsory attendance
Lecture 2 siehe Angebotsrhythmus Modul 28
Exercises 2 siehe Angebotsrhythmus Modul 28
Präsenzzeit Modul insgesamt 56 h
Examination Prüfungszeiten Type of examination
Final exam of module
Weekly assignments, oral examination at the end
Written or oral Exam