TDDE34 Software Verification

Feedback & Updates

From earlier feedback:

• 3 students participated in the "Evaliuate" process.
• Relevant and appreciated lectures and labs
• The link between the labs and the exam are appreciated
• Appreciated interactive lectures and relation to labs
• Also, there was a remark about that it was somewhat hard to study without attending the lectures.
• A remark about that the exam was deemed much harder according to a stydent.

Examiner's comments from previous years

Updates and remarks:

• Material is a synthesis of different verification directions. Strongly recommend to attend the lectures and the lessons.
• We will continue to discuss old exams, but it is important to understand the concepts and to not "overfit" to a type of exams.

Ahmed

Page responsible: Ahmed Rezine
Last updated: 2026-03-23