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

Formal Methods in Software Development

Master's level | 7.5 credits | Course code: DIT271
Autumn 2019
50% Day
Göteborg
Period: 2 September 2019 - 1 November 2019
INSTRUCTION LANGUAGE: English
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

https://gul.gu.se/public/cou...

Show more

Course Syllabus

DIT271

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 587 SEK
First payment: 17 587 SEK

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

Study Guidance

E-post: svl@cse.gu.se

Department

Department of Computer Science and Engineering
41296 Göteborg

Visiting address: Rännvägen 6 B

Page Manager: Pontus Sundén
Last update: 6/15/2018 12:12 PM

Tell a friend about this page
Print version

Page Manager: Pontus Sundén|Last update: 10/16/2018
Share:

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?