← Model Checking: A Tutorial Overview - USF