TY  - RPRT
TI  - Formal Analysis of Metastable Failures in Software Systems
AU  - Peter Alvaro
AU  - Rebecca Isaacs
AU  - Rupak Majumdar
AU  - Kiran-Kumar Muniswamy-Reddy
AU  - Mahmoud Salamati
AU  - Sadegh Soudjani
PY  - 2025
UR  - https://arxiv.org/abs/2510.03551
ID  - 2510.03551
ER  -