Basics of Model Checking
Slides for model checking introductory course, by Prof. Orna Grumberg, can be found here.
A sharing platform for the Computer-Aided Verification community
Slides for model checking introductory course, by Prof. Orna Grumberg, can be found here.