@inproceedings {266951, author = {Rachid Guerraoui and Maysam Yabandeh}, title = {Model Checking a Networked System Without the Network}, booktitle = {8th USENIX Symposium on Networked Systems Design and Implementation (NSDI 11)}, year = {2011}, address = {Boston, MA}, url = {https://www.usenix.org/conference/nsdi11/model-checking-networked-system-without-network}, publisher = {USENIX Association}, month = mar }