Basics of Model Checking Posted onJuly 7, 2019July 11, 2019AuthorCAVlinks Slides for model checking introductory course, by Prof. Orna Grumberg, can be found here.