교육 기관: 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.