TDDE34 · 6 credits · Advanced level (A1N) · Informationsteknologi, Datateknik, Datavetenskap
Software Verification
Active · next start VT 2027
55%
passed the latest ordinary exam
TEN1 · 5 Jun 2026 · 22 students
76%
passed the ordinary exams, all sittings over the last 5 years
TEN1 · 90 students
Unusually hard in 2025/26
55% passed the ordinary exam in 2025/26 (22 students), against 82% on average in earlier years (68 students).
Part of 5 programmes
Exam
TEN1 Written examination
- 5
- 4
- 3
- U
Ordinary exams
76% passed · 90 students
- 55%22
- 79%14
- 87%23
- 75%16
- 87%15
Re-exams
88% passed · 8 students
- 88%8
- Pass the re-exam: 88% (8 students), compared with 76% (90 students) on the ordinary exam
- Get 4 or 5: 37% (98 students)
Show small sittings (8)
Sittings with fewer than 5 students, often credit transfers or special sittings. They are not part of any figure on this page.
- 0%1
- 33%3
- 100%1
- 67%3
- 100%4
- 50%2
- 0%1
- 100%1
Other modules
Partial exams, hand-ins and labs. They are not part of the figures at the top.
Hand-in or lab
LAB1 Laboratory work
- G
Main rounds
100% passed · 76 students
- 100%16
- 100%18
- 100%11
- 100%16
- 100%15
Later rounds
100% passed · 7 students
- 100%7
- Pass a later round: 100% (7 students), compared with 100% (76 students) on the ordinary exam
Show small sittings (6)
Sittings with fewer than 5 students, often credit transfers or special sittings. They are not part of any figure on this page.
- 100%1
- 100%1
- 100%2
- 100%2
- 100%1
- 100%1
About the course
Aim
The course is an introduction to the theory and practice of software verification. After completion of the course, students will be able to:
- Demonstrate knowledge about the principals behind software verification approaches including Hoare-style axiomatic reasoning, satisfiability modulo theory and abstract interpretation.
- Apply existing techniques in order to analyse and verify software.
- Describe advantages, limitations and research challenges of software verification.
Content
- Transition systems
- Operational and axiomatic semantics
- Hoare logic
- Satisfiability modulo theory
- Invariant generation
- Examiner
- Ahmed Rezine
- Scheduled hours
- 48 h
- Main field of study
- Informationsteknologi, Datateknik, Datavetenskap