I have appreciated the pedagogic presentation. Some concepts, quite well introduced by examples, would have deserved to have their formal definitions presented.

good, some parts is not clear enough. Better learn with the recommend textbook

Very little explanations on quite complex matter (especially on branching bisimulation). References to the book are helpful except that sometimes it has different definitions. For example the books definition of the language is the set of non-extendable traces while the lector treats it as the set of terminated traces. The description of alternating bit protocol is absolutely beyond my understanding. Though its rather simple and well described in wikipedia.

A little coarse course.

Very helpful! Thank you very much!

Course gives a very abstract and basic idea.It fails to explain the relations with practical examples.

Very helpful for me to learn about the automata

I liked the course and the topic, I suggest to improve adding more practical automata modelling in mCRL2. The current approach is a little bit discouraging because requires a lot of manual effort especially because there are multiple choices per exercise and you get zero % if you miss one.

A very good introduction for model checking. I had some knownledge and it was very good refresh.

Content is very unique and nice, but delivery is quite poor. The instructor is murmuring almost every word, and pronunciation is unclear, so that I had to just read the subtitle instead of actually listening to the lecture. It was just too painful for me that I am now hesitating whether I should continue to the next part or not...