USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
MODIST: Transparent Model Checking of Unmodified Distributed Systems
Submitted by Anonymous (not verified) on February 9, 2021 - 1:35 am
| Title | MODIST: Transparent Model Checking of Unmodified Distributed Systems |
| Publication Type | Conference Paper |
| Year of Publication | 2009 |
| Authors | Yang J, Chen T, Wu M, Xu Z, Liu X, Lin H, Yang M, Long F, Zhang L, Zhou L |
| Conference Name | 6th USENIX Symposium on Networked Systems Design and Implementation (NSDI 09) |
| Date Published | 04/2009 |
| Publisher | USENIX Association |
| Conference Location | Boston, MA |
| URL | https://www.usenix.org/conference/nsdi-09/modist-transparent-model-checking-unmodified-distributed-systems |
- DBLP
- Log in or Register to post comments
- Google Scholar
- BibTeX