Formal Verification and Control with Conformal Prediction