Multi-Grained Specifications for Distributed System Model Checking and Verification.

Lingzhi Ouyang, Xudong Sun, Ruize Tang, Yu Huang, Madhav Jivrajani, Xiaoxing Ma, Tianyin Xu

Browse the full EuroSys paper archive.