SandTable: Scalable Distributed System Model Checking with Specification-Level State Exploration.

Ruize Tang, Xudong Sun, Yu Huang, Yuyang Wei, Lingzhi Ouyang, Xiaoxing Ma

Browse the full EuroSys paper archive.