Formal Methods


Please consult the FSTC moodle pages for dynamic information concerning this course.



Information on the course Formal Methods is kept here. In this course, we will study a collection of techniques that are essential in the construction of large and highly relibale systems. The course will focus on the principles and applications of the following formal methods: We have chosen these methods because they are based on complementary approaches for formal reasoning about systems. The course is tool-oriented in the sense that automatic tool support will be an essential part of the teaching units whenever possible. In this sense the lecture provides a more hands-on approach to theoretical concepts compared to courses in the first semester. Many examples and real-life case studies drawn from a variety of domains such as computer security, communicative systems and software engineering will be presented.


The student should gain experience in the formal methods presented in this course. More generally the student will be encouraged to think deeply about systems they will develop and to apply automated tools based on mathematical theories to their analysis and design.

Reading material


The final grade will be computed as follows: assignments will be weighted 30% (10% for each topic) and the final exam will be weighted 70%. Details about the assignment policy should be announced by each lecturer.