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


In addition to the Lab hand-in assignments, the course is examined via individual, oral examination of 30 min per student.

Please look at the Notes on the Oral Examination for information on the nature and scope of the oral examination.

The examination slots are on October 24, 25, 26, and 27.

The location is room 6471, in the office areas of the department of Computer Science and Engineering (EDIT building Johanneberg, the same building where the lectures took place). Please enter the department of Computer Science and Engineering at floor 6, 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 6471 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 name and person number. Only the course teacher can see this information, everyone else only sees that your slot is booked.
Please book your time here, choosing exactly one slot.

On popular request, and after discussion in the lecture, I make available trial exams of the predecessor course. It is three exams, each in two versions, one without and one with solutions.
Trial exams without solutions:

The same trial exams 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 a few differences in content of the two courses. Those do however not affect the answers to the trial exam questions. Therefore, this material is very well suited for training, also for the current course.

Home | Course | Schedule | Exam | Exercises | Labs | Eval | Tools W. Ahrendt, Oct 21, 2017