Software safety and Security is a 7.5-point (högskolepoäng) course.
The course covers several fundamental techniques for the analysis of
programs, with focus on safety and security. The techniques are based on
types and logics for programs, and allow to discover certain types of
illicit behaviour or deduce the absence of such behaviour. We consider
several successful tools implementing such techniques.
The course is given in
English.
However,
students can use Swedish when writing assignments and exams, and when
communicating with the lecturer.