Homework & Grading
The class homework consists of weekly theory exercise sheets and a selection of practical projects. Your final grade is computed as 30*(theory/theory_total) + min(40,project) + activity + exam. There will be at most 8 exercise sheets. The spreadsheet with your current points is available here.
The deadline for the theory exercises is Thursdays at 14:00. You should submit your homework as a pdf file through the submission system. Before you begin, please read this important note on LaTeX.
|P||Code Contracts||Mini Project||-||24.10.2013||submit|
|P||Choose Project||see below||-||17.11.2013|
|P||Final Project||see below||-||12.01.2014|
Note: If you are stuck on the PROMELA exercise, you may look at this hint. Remember that this is only a hint and not necessarily the best way of doing it. For more information, you can also use this book (available in UT network).
I will correct mistakes in the sheets whenever I discover them. The exercise sheet and the template you download both contain a revision number. Make sure these two numbers are the same. Since I know the revision history, you do not need to redo the exercise whenever a newer version is available.
The following is a list of options. You can collect a maximum of 40 points from each project if you do it really well, but you may do as many projects as you want. You should submit your solutions before the final exam.
Additionally, you are encouraged to propose your own thesis-related project work as long as it involves reasoning about computer programs in one form or another.
You will be awarded bonus points for taking active part in the course. This includes, but is not limited to, the following list:
- Pointing out mistakes in the slides or exercises both during the lectures or via e-mail.
- Volunteering to do something on the black board during the labs.
- Insightful comments/questions during the lectures.
In principle, you could get up to 30 activity points, but these points will be awarded less liberally when if you already have too many points in this category.