创建者 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.
创建者 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.