Відправити по sms: Quantitative Safety: Linking Proof-Based Verification with Model Checking for Probabilistic Systems