Zero to Model Checking Course