Stud.IP Uni Oldenburg
University of Oldenburg
02.10.2023 13:58:11
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 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 ```  ``` Modullevel / module level Modulart / typ of module Lehr-/Lernform / Teaching/Learning method 1VL + 1Ü Vorkenntnisse / Previous knowledge Nützliche Vorkenntnisse: Vorlesung Logik
Form of instruction Comment SWS Frequency Workload of compulsory attendance
Lecture 2 SoSe oder WiSe 28
Exercises 2 SoSe oder WiSe 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