TDDE34 Software Verification
Examination
To pass the course you will need to:
- LAB 1: 3 ECTS
- hand in solutions to homeowrk exercices
- hand in solutions to labs problems
- see here for more information about the labs.
- TEN 1: 3 ECTS
- pass an exam that revisits fundamental notions discussed in the course
- june 2024 and a sketch of possible solution.
- june 2022 and a sketch of possible solution.
- june 2021.
- august 2021.
- Example of a previous exam and a possible solution.
- do not forget to register to the exam. No drop-in! See exam time here.
Page responsible: Ahmed Rezine
Last updated: 2024-06-04