Model Checking a Networked System Without the Network.

Rachid Guerraoui, Maysam Yabandeh

Browse the full NSDI paper archive.