Stud.IP Uni Oldenburg
University of Oldenburg
29.11.2023 13:40:16
inf410 - Formal Methods (Complete module description)
 Module label Formal Methods Module abbreviation 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 (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 Recommended reading Links Language of instruction German Duration (semesters) 1 Semester Module frequency every summer term Module capacity unlimited Reference text ```  ``` Module level Type of module Teaching/Learning method 1VL + 1Ü Previous knowledge Useful previous knowledge: Course Logic
Type of course Comment SWS Frequency Workload of compulsory attendance
Lecture 2 SoSe oder WiSe 28
Exercises 2 SoSe oder WiSe 28
Total module attendance time 56 h
Examination Examination times Type of examination
Final exam of module
Weekly assignments, oral examination at the end
Written or oral Exam