Model Checking Programs Using Python For Research