创建者 Sergio Garofoli•
Apr 09, 2018
Nice... this is getting finally gooooooood
创建者 Emmanuel Druet•
Dec 05, 2017
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.