Software and Systems Verification - Hírek

The home assignment of the Software and Systems Verification course has to be solved in teams of four.

Students can form teams, and the teams shall register using this form.

Deadline: 2018-09-06 12:00

The students, who do not have teams, can find team members in the practical sessions on 6th and 13th September. Read more »

The preliminary results of the third exam can be found in the attachment.

The exams can be checked on 17th January 13:00-14:00 in the IB421 room.

If someone passed the exam, then there is the possibility to have a short oral exam on the spot to improve the final grade (+1/-1 grade).

If someone wants to check the exam outside the above period, please contact the lead instructor in e-mail before 18th January 8:00, and suggest possible dates.

The preliminary results of the first exam can be found in the attachment.

The exams can be checked on 19th December 13:00-14:00 in the IB421 room.

If someone passed the exam, then there is the possibility to have a short oral exam on the spot to improve the final grade (+1/-1 grade).

If someone wants to check the exam outside the above period, please contact the lead instructor in e-mail before 19th December 14:00, and suggest possible dates.

The evaluation of the fourth phase of the home assignment (HA4) has been published. The detailed evaluations can be found on the GitHub wikis (via the HomeAssignmentEvaluation page). If you have any questions regarding the evaluation, please contact the lead instructor.