Software and Systems Verification - Hírek

Due to a planned maintenance for the power systems of the I building, the inf.mit.bme.hu website including the SWSV website will be down probably for the whole weekend starting from Friday evening.

Please download any materials that you could need (e.g. slides for the MBT lesson, description of HA4).

The lab materials and team repositories on GitHub will be (hopefully) accessible.

The results of LAB4 have been published.

Please pay attention that 4 labs needs to be completed, and there are only 2 labs left (there are several people with 2 completed labs!).

The evaluation of the second phase of the home assignment (HA2) 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 during the lectures or labs.

As the HA3 deadline is conflicting with mid-terms from other subjects, we will extend the HA3 submission to 2017-11-12 23:59.

The Home assignment page have been updated with the new deadline. (The milestone in each team's repository has not been changed, the teams should change that).