Text this: Quantitative Safety: Linking Proof-Based Verification with Model Checking for Probabilistic Systems