TY  - RPRT
TI  - A Formal Framework for Predicting Distributed System Performance under Faults (Extended Version)
AU  - Ziwei Zhou
AU  - Si Liu
AU  - Zhou Zhou
AU  - Peixin Wang
AU  - MIn Zhang
PY  - 2026
UR  - https://arxiv.org/abs/2602.19088
ID  - 2602.19088
ER  -