TY  - RPRT
TI  - Multi-Grained Specifications for Distributed System Model Checking and Verification
AU  - Lingzhi Ouyang
AU  - Xudong Sun
AU  - Ruize Tang
AU  - Yu Huang
AU  - Madhav Jivrajani
AU  - Xiaoxing Ma
AU  - Tianyin Xu
PY  - 2024
UR  - https://arxiv.org/abs/2409.14301
ID  - 2409.14301
ER  -