Passing requirements

To pass the course, you must have passed the assignments (labs) and have passed the exam (see more information). For the exam, the only permitted material is a dictionary.

Reading for the exam

For the exam, you need neither the lectures nor the slides. Just read the textbook, Chapters 1 through 9. Sections specifically dealing with languages we don't use (Ada, C and BACI) can be skipped with caution (be aware that important ideas might be illustrated in those sections; for example, protected objects in Ada). SPIN and PROMELA, too, are not examinable material, but we will use them as a teaching aid. In Chap 5, you need to read just Sec 1.

Past exams

Some previous exams are available below for reference.

Exams by K.V.S. Prasad

Exams by Alejandro Russo

Exams by others

More exams?

The list above will give you a pretty good idea what to expect from an exam. Of course, the course has been run by different teachers and each of them has its own style. If you still want more exams, you can get a copy of them from the Studieexpedition. The structure of the exam and the type of questions is not drastically changing throughout the years. It is true that the used programming languages can be different but the problems the past exams ask to solve are relevant.