Formal Methods in Software Development - University of Gothenburg Till startsida
To content Read more about how we use cookies on

Formal Methods in Software Development

Master's level | 7.5 credits | Course code: DIT271
Autumn 2020
50% Day
Period: 31 August 2020 - 1 November 2020
2) Only EU/EEA citizens and students with approved residence permit in Sweden can apply

About the Course

The aim of this course is to teach knowledge and skills in, and judgement about, two important styles of formal methods for reasoning about software: model checking and deductive verification. Each style will be introduced in three ways: conceptual, theoretical, and practical, using a particular tool. The course builds on skills in first-order logic and temporal logic, and shows how these formalisms can be applied, and extended, for the verification of software.

On the model checking side, we cover the following topics:

  • a specification language for concurrent processes,
  • verifying assertions,
  • synchronization,
  • verifying safety and liveness properties in temporal logic.

On the deductive verification side, we cover the following topics:

  • a unit level specification language for Java programs,
  • a logic for verification of Java programs,
  • verification of Java programs, in the sense that the implementation of a unit fulfils the specification.

More Information

Show more

Course Syllabus


Requirements and Selection

Requirements: Successfully completed courses corresponding to 120 credits within the subject Computer Science or equivalent, specifically DIT201 Logic in Computer Science, 7.5 credits, and a 7.5 credits course in object-oriented programming (or equivalent) are required. Applicants must prove their knowledge of English: English 6/English B from Swedish Upper Secondary School or the equivalent level of an internationally recognized test, for example TOEFL, IELTS.

Selection: Selection is based upon the number of credits from previous university studies, maximum 225 credits.

Tuition Fee

Application fee: 900 SEK
Full course cost: 17 875 SEK
First payment: 17 875 SEK

EU/EEA citizens, Swedish residence permit holders and exchange students do not pay fees. More information on:

Study Guidance



Department of Computer Science and Engineering
41296 Göteborg

Visiting address: Rännvägen 6 B

Page Manager: Jörgen Ölund
Last update: 2/18/2020 2:41 PM

Tell a friend about this page
Print version

Page Manager: Jörgen Ölund|Last update: 10/16/2018

The University of Gothenburg uses cookies to provide you with the best possible user experience. By continuing on this website, you approve of our use of cookies.  What are cookies?