MODIST: Transparent Model Checking of Unmodified Distributed Systems.

Junfeng Yang, Tisheng Chen, Ming Wu, Zhilei Xu, Xuezheng Liu, Haoxiang Lin, Mao Yang, Fan Long, Lintao Zhang, Lidong Zhou

Browse the full NSDI paper archive.