Formal Methods for Software Development TDA294/DIT271, LP1, HT2019

Additional Information about Examination

Please consult the course syllabus in Canvas for information on the nature and scope of the oral examination.

The examination slots are between 28 October and 1 November.

The location is room 5471, in the office areas of the department of Computer Science and Engineering (EDIT building Johanneberg, the same building where the lectures took place). Enter the department of Computer Science and Engineering at floor 5, from the stair case which comes up from the main entrance at Rännvägen 6B. After entering the department, walk all the way through the corridor, until the corridor turns right. At this corner, you have room 5471 right in front of you. You may want to look for the room before the day of the exam.

Please bring an identification document to the examination.

Below, you find a link to a page where you can book a slot. Please enter, in the name field, your full name. Only the course teacher can see this information, everyone else only sees that your slot is booked. Note down which slot you are booking (it is not visible to you afterwards).

Please book your time here, choosing exactly one slot.

On popular request, I make available trial exams of the predecessor course (TDA293/DIT270, until 2016). It is three exams, each in two versions, one without and one with solutions.

Recall these are exams for the predecessor course, which had written exams of 4 hours, instead of oral examination of 30 minutes. Also, there are some differences in content of the two courses. Those do however not affect the answers to the trial exam questions. Therefore, this material is well suited for training, also for the current course.

Note: Even if the written trial exams of the predecessor course provide good training also for the oral exam of this course, they do not give a good indication of coverage and style of the questions in the oral exam. See instead the course syllabus.

Trial exams without solutions:

The same trial exams with solutions:

W. Ahrendt, Oct 24, 2019