Formal Methods - Hírek

Midterm exam 1

The midterm exam takes place on 12th March, 2019. (Tuesday), 18:15-19:45. We will announce the room before the exam. On the next lecture (11th of March) there will be a practice session. Some sample exams were uploaded to the materials. Note, that statecharts are not part of the first midterm this year.

Home assignment published

The home assignments are now published and can be downloaded. For more information and deadlines, please check the homework page. If you have trouble finding or downloading your task, contact us.

The lecture on the 25th of March will have some modeling examples related to the home assignment.

Results of the Repeated Second Midterm Exam

The results of the retake of the second midterm exam can be seen in the attached PDF file (removed).

The minimum score for each grade is as follows: 1 - [0,22); 2 - [22,28); 3 - [28,34); 4 - [34,40); 5 - [40,50]. Remember that the final grade of the whole course is calculated from the grade of the exam, not the score. Also note that the result of the retake automatically overwrites the result of the first exam (nobody had a worse grade this time). Read more »

Results of the Second Midterm Exam

The results of the second midterm exam can be seen in the attached PDF file (removed).

The minimum score for each grade is as follows: 1 - [0,22); 2 - [22,28); 3 - [28,34); 4 - [34,40); 5 - [40,50]. Remember that the final grade of the whole course is calculated from the grade of the exam, not the score.

Those with grade 1 have to repeat the exam on 23. May, 2018. (Wednesday), 10:15-11:45, room I.B.026. It is also possible to repeat the exam to get a better grade, but the new grade will overwrite the previous one even if it is worse.

Results of the Repeated First Midterm Exam

The results of the first midterm exam can be seen in the attached PDF file (removed).

The minimum score for each grade is as follows: 1 - [0,22); 2 - [22,28); 3 - [28,34); 4 - [34,40); 5 - [40,50]. Remember that the final grade of the whole course is calculated from the grade of the exam, not the score. Also note that the result of the retake automatically overwrites the result of the first exam (nobody had a worse grade this time).

There will be no more retake opportunities for the first exam, so grade 1 implies the failure of the course.

Results of the First Midterm Exam

The results of the first midterm exam can be seen in the attached PDF file (removed).

The minimum score for each grade is as follows: 1 - [0,22); 2 - [22,28); 3 - [28,34); 4 - [34,40); 5 - [40,50]. Remember that the final grade of the whole course is calculated from the grade of the exam, not the score.

Those with grade 1 have to repeat the exam on 29. March, 2018. (Thursday), 18:15-19:45, room I.B.027. It is also possible to repeat the exam to get a better grade, but the new grade will overwrite the previous one even if it is worse.

Formal Methods homework assignment

The assignment of homework tasks to studens can be found below (removed). Read more »

Syndicate content