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
PublisherUSENIX Association
Conference LocationBoston, MA
URLhttps://www.usenix.org/conference/nsdi-09/modist-transparent-model-checking-unmodified-distributed-systems