Ruize Tang, Xudong Sun, Yu Huang 0002, Yuyang Wei, Lingzhi Ouyang, Xiaoxing Ma. SandTable: Scalable Distributed System Model Checking with Specification-Level State Exploration. In Proceedings of the Nineteenth European Conference on Computer Systems, EuroSys 2024, Athens, Greece, April 22-25, 2024. pages 736-753, ACM, 2024. [doi]
Abstract is missing.