Highly recommended course to learn how to express and validate complex system requirements. And this is only part of the most powerful set of formal methods, mathematical artifacts and software tools! Thus, additional courses on this would be welcomed, specially going deeper on mCRL2.

I​ really like this course. If you have an interest in modal logic, you need to take it. Also, it provides a very clear introduction to modal mu-calculus, which is something that I never would have had a chance to learn were it not for this fantastic, very clear, and consice course.

Nice... this is getting finally gooooooood

A good course about model checking and some associated theories. I wish there were more examples and more exercises because some concepts are really hard to understand. Some written notes along with the videos would be really helpful.