Při výběru garanta předmětu se zobrazují připomínky jak k němu, tak ke všem vyučujícím daného předmětu. Při výběru vyučujícího, který garantem není, se zobrazují připomínky vztažené pouze k němu.
Připomínka k předmětu, Modely a verifikace chování systémů [NSWI101, cvičení]
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.
