Software and Systems Verification - Hírek

The preliminary grades for the second exam have been entered into Neptun.

The graded exams can be checked at 12:00-13:00 on 20 January in the IB419 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, and suggest possible dates for the beginning of the next week.

The results of HA3 have been published to the teams' wiki.

Signature have been published to Neptun.

Please chekc both of them, and if you have any question, please contact the lead instructor before 12:00 Wednesday.

We created a new virtual machine for LAB5 in the KIFÜ-NIIF cloud with the name SWSV-2019-LAB5.

It has Eclipse, Yakindu, Viatra and Gamma installed.

Unfortunately recently Yakindu changed its licensing, and without a valid license the state models cannot be edited. But it is not required for the lab exercise, because you should work on the Gamma models and descriptors.

The LAB4 results have been uploaded to Moodle.

To get signiture, 5 out of 6 labs have to be completed.

Please check that 1) your results are correct in Moodle, and 2) whether you still need LAB5 to complete to get signiture.