교육 기관: Francesc R•
2020년 7월 5일
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•
2022년 4월 2일
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•
2018년 4월 9일
Nice... this is getting finally gooooooood
교육 기관: Emmanuel D•
2017년 12월 5일
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.