MODIST: Transparent Model Checking of Unmodified Distributed Systems

Title{MODIST}: Transparent Model Checking of Unmodified Distributed Systems
Publication TypeConference Paper
Year of Publication2009
AuthorsYang J, Chen T, Wu M, Xu Z, Liu X, Lin H, Yang M, Long F, Zhang L, Zhou L
Conference Name6th {USENIX} Symposium on Networked Systems Design and Implementation ({NSDI} 09)
Date Published04/2009
Publisher{USENIX} Association
Conference LocationBoston, MA
URLhttps://www.usenix.org/conference/nsdi-09/modist-transparent-model-checking-unmodified-distributed-systems