創建者 Francesc R•
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.
創建者 Marc L•
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.
創建者 Sergio G•
Nice... this is getting finally gooooooood
創建者 Emmanuel D•
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.