TDDE34 Software Verification

Feedback & Updates

From earlier feedback:

Course in general

• 2 students participated in the "Evaliuate" process. Maximum grades. No text.

From previous years, relevant and appreciated lectures and labs

• Interesting subject
• Appreciated format and mixture of "theory" and "practice".
• More solved exercises, in particular about finding and establishing invariants, would help.
• Make sure writtings on whiteboard are visible

Examiner's comments from previous years

Great that the course and its format were appreciated. We worked on:

• Continue with the format.
• Propose solved exercices for the invariant part.
• Ensuring whiteboard writtings are clear and visible.

Ahmed

Page responsible: Ahmed Rezine
Last updated: 2024-03-20