Multi-Grained Specifications for Distributed System Model Checking and Verification. - Lingzhi Ouyang; Xudong Sun 013; Ruize Tang; Yu Huang 002; Madhav Jivrajani; Xiaoxing Ma; Tianyin Xu (EuroSys, 2025)