When the course guarantor is selected, comments will be displayed regarding his/her teaching performance as well as that of all the other teachers teaching the course. If a teacher who is not the course guarantor is selected, only comments related to his/her teaching will be displayed.
Comment on course, System Behaviour Models and Verification [NSWI101, cvičení]
Student has disallowed display of personal data, 10.02.2024, 1. ročník, Informatika - Softwarové systémy, Master's (post-Bachelor)
Good preparation for the exam. Would prefer some more practical examples of some later-stage topics (like PCTL, timed/region automata).
Comment on course, System Behaviour Models and Verification [NSWI101, přednáška]
Student has disallowed display of personal data, 10.02.2024, 1. ročník, Informatika - Softwarové systémy, Master's (post-Bachelor)
I'd prefer slower pace and much less formalism (given the final exam). I found the subject overwhelming, especially during later stages. The exam was extremely practical and covered a tiny fraction of everything presented. I liked that we spent some time introducing different tools for model verification. If you're serious about formal verification, this is for sure an excellent start.
