- [How do I hand in homework?]
- [How do I learn my grade?]
- [Do you take late homework? How
many points do I lose for late homework?]
- [May we do the assignments in groups?]
do I hand in homework?
Your submission consists
of two parts: (1) a hardcopy with your solutions for problems, models,
specifications, etc., and (2) an electronic version that also
contains all promela- and ltl-files related to the assignment, which
should be put into the subfolder 'AssignmentX' (X=1,2,3,4) of your
folder on studyweb.
How do I learn my grade?
I will post the grades via studyweb as soon as the works are
Yes, I will take late homework. If the homework is late,
you begin to lose points. You lose 20% of your grade for a late
submission plus another 20% for every
week the homework is late, until your maximum possible score is 20%.
Entirely failing to hand in homework will net you
a zero for the assignment.
May we make assignments in groups?
Yes, it is strongly recommended to do the assignments in groups, but
in groups of two only!