inf410 - Formal Methods (Complete module description)

# inf410 - Formal Methods (Complete module description)

 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 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 competenceThe students:apply mathematical formalisms to the modelling of systemschoose an adequate modelling formalism for some given taskformally specify systemschoose suitable analysis techniquesinterpret results of analysis runsMethodogical competenceThe students:carry out formal correctness proofsemploy analysis toolsdefine the semantics of formal specification languagesSocial competenceThe students:work in groups on tasks and explain solutions to each otherdiscuss the advantages and disadvantages of modelling formalisms.Self-competenceThe students:organise themselves for the work in the module Module contents Petri netsProcess algebra CCSTimed automataZ Literaturempfehlungen Links Language of instruction German Duration (semesters) 1 Semester Module frequency every second summer term Module capacity unlimited Teaching/Learning method V+Ü Previous knowledge Useful prerequisites: set theory, relations and functions, propositional and predicate logic, finite automata
Form of instruction 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

at the end of the term

Written or oral Exam