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


More information will appear later.

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.

Re-examination takes place 14, 15, and 16 January. The re-exam has the same format as the first exam. 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. And note in your calendar which slot you booked.
If you did not pass the original exam, the teacher offers a personal meeting, where you can get feedback about the first exam, as input on how to prepare for the re-exam. If you are interested in this, please contact the course teacher.

The location is room 5477, the office of the course teacher, 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 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. You turn right, and find room 5477 soon on your left side.

Please bring an identification document to the examination.

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 aforementioned Notes on the Oral Examination.

Trial exams without solutions:

The same trial exams with solutions:

W. Ahrendt, Jul 17, 2019